pub const CPUID_EXT2_SYSCALL: u32 = 2048;