CPUID_ROOT_EXT
do_cpuid(CPUID_ROOT_EXT, tmp);
len += ext_max - CPUID_ROOT_EXT + 1;
for (uint32_t i = CPUID_ROOT_EXT; i <= ext_max; i++) {