pub const CPUID_7_0_EBX_AVX512PF: u32 = 67108864;