pub const CPUID_7_0_EBX_AVX512BW: u32 = 1073741824;