platsupport,hpet: Remove float division operation

The .0f extension should be redundant if the result is being stored in
an int type.

util_libs: remove autoconf.h from util_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'

Add hpet_level to hpet interface

Gets the level from the HPET mapped device frame

Add hpet_parse_acpi to hpet interface

Remove pstimer_t from hpet

Users just interface with hpet directly

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of file

fix licenses

libplatsupport: Refactor HPET to use constant register offsets

Previously the HPET driver stored pointers to different registers in its run time
data structure. This both wastes memory for no reason, and is inefficient as the
compiler has no way to optimize the fact that they are constant offsets from
each other. This commit saves a single base pointer and uses constant offsets
for the different reigsters. In addition we use explicit compiler barriers as
casting between volatile and non volatile pointers is undefined behaviour
according to the C standard

libplatsupport: Update error printing in hpet

Change error messages to consistently use ZF_LOGE

libplatsupport: Remove include guards in hpet.c

This is not a header file and so shouldn't have guards

libplatsupport: Functions for querying HPET capabilities

Adds two functions for querying HPET capabilities. These allow a user to
pick at run time between different HPET modes having to just try and
initialize the HPET and guess why it failed.

libplatsupport: Expand timer properties

Indicate the types of timeout supported in the properties.

libplatsupport: Expand timer properties

Indicate the types of timeout supported in the properties.

libplatsupport: Support full 64-bit counter reads in the hpet

libplatsupport: Fix various 32-bit assumptions