dae1bd583896 ("x86/msr-index: Add MSRs for XFD")
4531662d1abf ("kvm: vmx: Check value written to IA32_BNDCFGS")