pub const CPUID_7_0_EBX_AVX512VL: u32 = 2147483648;