Constant X86X_MSR_MC_UPDATE_PATCH_LEVEL 

pub const X86X_MSR_MC_UPDATE_PATCH_LEVEL: u32 = 0x8b;