pub const CPUID_7_0_EBX_AVX512F: u32 = 65536;