[0/2] x86: HPET PC10 quirk workaround and some cleanup

Message

Jan Beulich Oct. 19, 2021, 7:06 a.m. UTC

The workaround is a port of a recent Linux change, replacing earlier,
never accepted attempts to follow Linux in their PCI ID based working
around of the issue. The other patch is long due cleanup that I
happened to notice along the way.

1: x86/hpet: Use another crystalball to evaluate HPET usability
2: x86: de-duplicate MONITOR/MWAIT CPUID-related definitions

Jan