[PATCH v3 24/57] x86: acpi: Support generation of the HPET table