x86cpuid fixes.