ACPI PM Timerが無い機種のためにHPETに対応する

[uchan-nos]

GPD Micro PC の一部機種には ACPI PM Timer が搭載されていないようだ。
聞くところによると Microsoft Surface の一部機種でもそういうものがある。

参考： GPD Micro PCでMikanOSが起動しない

そのような機種に対応するために HPET にも対応し、HPET があれば ACPI PM Timer より優先して使うようにしたい。
HPET を優先する理由は ACPI 仕様書に次のようにあるから。

If the HPET is exposed to OSPM, OSPM should use the HPET. Otherwise, OSPM will use the ACPI power management timer.

Table 5-34 Fixed ACPI Description Table Fixed Feature Flags の USE_PLATFORM_CLOCK ビットに関する説明より。