Convert to SPDX license tags

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>

libsel4vmmplatsupport: Generate arm vpci fdt node

Added a helper to the arm virtual pci driver that additionally
generates the fdt node for the pci device it is emulating. This
can be appended to the fdt blob during generation.

libsel4vmmplatsupport: Clean up includes and cmake

Clean up CMakeLists.txt and make includes consistent with rest of seL4
libraries.

libsel4vmmplatsupport: aarch64 sysreg handlers

Added infrastructure to decode aarch64 sysreg exceptions and
create emulation handlers for specific accesses. This hooks into
the VCPU fault/exceptions support.

libsel4vm: Moved memory utils into vmmplatsupport

Moved the guest memory utils interface into libsel4vmmplatsupport.
This interface better exists in libsel4vmmplatsupport as its more
relevant to support vmm devices and drivers. This in turn
simplifies libsel4vm's interfaces.

libsel4vm: Moved VESA config to sel4vmmplatsupport

The initialisation of the VESA Frame Buffer has since been moved
out libsel4vmmplatsupport.This changes moves to config into
libsel4vmmplatsupport.

libsel4vm: sel4arch_set_bootargs to vmmplatsupport

Moved ARM sel4arch_set_bootargs to libsel4vmmplatsupport. This
code is platform specific. This should rather be code a VMM can
opt in to using for initialising its ARM VM boot environment.

libsel4vmmplatsupport: Merged in vmmcore + sel4pci

Merged libsel4vmmcore and libsel4pci into libsel4vmmplatsupport.
This was done to consolidate all our vmm support sources into a
single location. All the contents in libsel4vmmcore and libsel4pci
are only targeted for vmm applications that build ontop of our
sel4 vm platform.

libsel4vmmplatsupport: X86 guest_image support

Added an implementation for supporting the loading of guest kernel
and module images on x86. This is a refactor of sources from
libsel4vm.

libsel4vmmplatsupport: device_utils use libsel4vm

Updated the device_utils to use libsel4vm for
registering device memory regions and fault handlers.
This is a general update to the device utils source to use
the updated interfaces in libsel4vm and libsel4vmmplatsupport.
Prior to this update device_utils would not compile/work.

libsel4vmmplatsupport: CMake support

Added a CMakeLists to libsel4vmmplatsupport so that it can be
compiled and used.