This can be verified via the CPUID ASM instruction. Is there a portable way to do this without inline ASM? cpuid.h sometimes exists on linux