pub const X86_CR4_MCE_BIT: u32 = 6;