acpi: create a System Descriptor Table builder for the HPET

[dlrobertson]

Our HPET implementation currently does not have a implementation of SDTBuilder yet. This will allow us to build an HPET for running guests. The MADT Implementation of the SDTBuilder is probably the best reference on how to do this.