KVM: allow bit 10 to be cleared in MSR_IA32_MC4_CTL