sperating tx2_smmu from arm_smmu

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>

trivial: Fix style

platsupport/simple: add per cpu irq support on arm

- support PER_CPU interrupt type to specify a core
- use GetTriggerCore on SMP (GetTrigger fails)

trivial: libsel4simple: style fixes

libsel4simple: Add IRQControl_GetTrigger interface

Allow using IRQControl_GetTrigger to specify edge or level trigger on
ARM platforms.

libsel4simple: Fix translation of cap numbers to CPtrs

seL4_CapIOPortControl only exists on x86, while seL4_CapIOSpace only
exists on x86 with an IOMMU.
Simple does not address these on other configurations.
Ensure that this is correctly accounted for on all configurations and
architectures.

libsel4simple: Correct return type of arch_simple_getIOport_cap on arm

New I/O port interface in simple

This changes the simple interface for getting I/O port capabilities to instead of returning
a potentially pre-existing capability for an I/O port, the caller provides a location in
a cnode to place the requested I/O port. The reason for this change is that I/O ports will
soon be being provided from the kernel by a control cap and this design keeps simple as an
information interface that does not need to do internal allocation. Rather allocation is
only performed explicitly by the caller.

pragma once and for all

Fix all the whitespace

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

Fix licenses

SELFOUR-610: libsel4simple: Deprecate simple_get_IRQ_control in favour of simple_get_IRQ_handler

libsel4simple: support for ARM IOSpace caps

sel4simple: add arch specific interface

This commit defines arch_simple_t, which adds arch
specific functions to libsel4simple and its implementors,
as the seL4 API no longer allows simple implementation to be
architecture agnostic, specifically for the interrupt handling
interface.

This commit adds the x86 arch interface which defines functions
for getting irqs, msis and ioports, and the arm interface
which just defines irqs.

libsel4simple-stable has been updated to implement the new
interface and users should not be effected. However, other
implementations of simple will need to be updated.

libsel4platsupport has been updated such that the hpet driver
wrapper now works with the lastest seL4 kernel.