switch arm_smmu to tk1_smmu

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

driver: remove arch_get_serial_utspace_alloc_at

These functions are no longer required.

trivial: style changed files

sel4test-tests: request serial caps from driver

Since we can only allocate individual frame capabilities once, currently
sel4test passes the serial frame into test processes explicitly.

We remove this explicit mechanism, and make sel4test-tests send a RPC
message to the test driver to request these frames when they're
allocated.

RISC-V: Use same arch.c files as Arm

These arch.c functions provide implementation for copying serial
hardware capabilities into the test processes. As the RISC-V serial
hardware is similar to Arm (1 4K frame and 1 IRQ) we temporarily reuse
the same arch specific functions. A FIXME has been left to indicate that
the files are symlinked and should be refactored.

apps: Fixup platsupport header files

sel4test-driver: Fix and clarify global environment wrapper

This was broken by b00349661465 and this commit corrects the variable here to be a static
local as it was intended, and fixes names and comments to not collide with the other global
`env`

sel4test-driver: Make different environment types clearer

Changes the 'env' in sel4test-driver to be called driver_env so that it is not confused
with the environment 'env' in the basic tests. To handle this type change we also
explicitly declare implementations that could take an arbitrary environment to take a
'uintptr_t' type that is cast to the known (and hopefully correct) environment type.

driver: trivial - style

Use ltimer interface in sel4test

- remove all plat specific timer code
- new timers don't need any code added to sel4test!
- also remove plat_copy_serial caps as it is empty for all cases

Fix licenses

Refactor copy_cap_to_process to libsel4utils

Move this function to libsel4utils

Move dev init caps functions to libsel4platsupport

init_timer_caps and init_serial_caps is functionality that is often used
in other applications so this has been moved to libsel4platsupport to
reduce bitrot.

Split serial_utspace_alloc_at_fn into arch

x86 doesn't currently require utspace alloc for serial device, so on x86
this function tries to access struct elements that will no longer exist
in the source.

Clean up seL4test backend

* Clean up the structure of seL4test.
* Make TK1 use the same device as both the
event-timer and wall-clock timer.

SELFOUR-328: add clocktimer for pc99, omap3 & imx6

sel4test: fix arm serial broken in 35944e1e613f380

User device untyped and s/PIT/HPET for x86

This commit changes the way sel4test-driver passes
device memory to sel4test-tests: instead of copying the frame
caps it copies untypeds, to be compataible with how seL4_libs
has changed after device untyped. sel4test-tests now gives
the relevant untyped to its allocator so seL4_libs can
initialise the relevant devices.

Additionally, this commit changes to use the HPET and IOAPIC
instead of the legacy PIT/PIC on x86, allowing us much greater
timer accuracy in tests and faster tests in general.

Only allocate serial frame caps once

The simple implementation, due to changes in the kernel API, is not
able to allocate/return the same device frame cap multiple times.
This change uses the copy of the cap that we already cache for sending
to test instances for instantiating our platsupport serial interface

Use updated vka and allocman interfaces

The vka_utspace_alloc_at provides a much more reliable way of
retrieving a device frame capability, so we preference it
over using simple

ARM, x86: Allow serial printing from tests

Define the simple_get_IOPort_cap() and simple_get_frame_cap() backend
for non-root tasks to return the correct cap for the serial IO Ports on
x86 snd the correct cap for the serial frames on ARM, by ensuring that
sel4test-driver actually copies them into the sel4test-test process
during init.

arm: move copy iospace caps code to arch directory

Some trivial whitespace fixes

Add arch specific directories to sel4test apps and remove #ifdefs