[PATCH 68/92] x86/mce: Fix logic and comments around MSR_PPIN_CTL