pub const MSR_IA32_BNDCFGS: u32 = 3472;