platsupport: extend generic timer implementation

- update generic timer implementation to work on aarch64 in addition to
aarch32.
- add more manipulation functions for using the generic timer when it is
exported to user level.

Note that exporting the generic timer to user level exposes a timing
channel. This should only be done for testing and benchmarking and never
in a verified configuration of the kernel.