Inline resetTimer for all platforms

- for arm generic timer platforms, we remove resetTimer ->
resetGenericTimer indirection and simply include generic_timer.h
- this reduces boiler plate for platforms that share timer drivers, as
they simply include the one header
- there is far more timer code in the RT kernel, which motivates this
change

Move arm generic timer to own header

Only platforms that use it should include the code

Combine common arm generic timer code

Previously both aarch32 and aarch64 duplicated common
generic timer code. Unify them in include/arch/arm/machine/timer.h

Share linker.h between architectures

ARM: Move timer.h to mode specific folder

Remove many DONT_TRANSLATE markers.

The vast majority of the DONT_TRANSLATE markers in the kernel are used
to hide __asm__ statements and builtin functions
(e.g. __builtin_unreachable ()) from the C-to-Isabelle parser.

The parser now supports underscore identifiers and many __asm__ statements,
and the builtin functions are prototyped, meaning the vast majority of the
DONT_TRANSLATE markers can be dropped. The remaining markers cover functions
that must be treated specially.

Fix arm builds broken in 44ed6adb6

SELFOUR-612: one generic timer impl

This commit unifies 3 implementations of the arm
generic timer and cleans up existing code.

SELFOUR-607: inline remaining irq path functions

SELFOUR-519: remove map_kernel_devices duplication

* move devices to static array in hardware.h
* use one higher level function to map them in.

SELFOUR-519: remove more duplication in hardware.c

* move p_reg functions up a level
* move p_reg definitions to hardware.h

Hikey plat: Make get_dev_p_reg definition meet its declaration

Otherwise Hikey build fails on my machine/compiler.

Refactor duplicated code in hardware.h

One copy to rule them all.

Trivial: move printfs in handleReservedIRQ up.

This wraps the printfs in CONFIG_IRQ_REPORTING
and reduces redundancy.

SELFOUR-402: remove isReservedIRQ

While provided by each hardware platform this function is never called.

trivial: styling

Add support for armV8 and Hikey 32bit