Timers
------
* High Precision Event Timer (HPET)
Required property:
compatible = "intel,ce4100-hpet";