1Timers2------3 4* High Precision Event Timer (HPET)5 Required property:6 compatible = "intel,ce4100-hpet";7
