If the ACPI is not set up correctly the OS cannot list the HPET.
ACPIが正しくセットアップしない場合、OSはHPETを列挙できない。