Add support for HPET on supported configurations.

[MinusPL]

HPET (High Precision Event Timer) will increase resolution of system clocks, allowing counting time in shorter intervals than 1 ms.

It will make scheduler better, and in general will allow better control over hardware in OS and user level applications.

[MinusPL]

Moving to OS Release 1.4 since it is new feature.