[tip: ras/urgent] x86/mce: Fix logic and comments around MSR_PPIN_CTL