Convert to SPDX license tags

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

trivial: Style changed files

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: default error callback out of mem utils

Moved the function 'default_error_fault_callback' out of
the guest memory utils interface and into its own interface
'guest_memory_helpers'. The intention is to eventually move
guest memory utils out of libsel4vm but we want to keep the
'default_error_fault_callback'.

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.

libsel4vmmplatsupport: arch include -> arch subdir

Moved the architecture specific headers, being unique header files
that only exist for a given architecture, into an 'arch'
subdirectory. Since this library can be used across architectures
this avoids polluting the root libsel4vmmplatsupport namespace and
adds further structure to distinguish different interfaces.

libsel4vm: arch specific includes into arch subdir

Moved the architecture specific headers, being unique header files
that only exist for a given architecture, into an 'arch'
subdirectory. Since this library can be used across architectures
this avoids polluting the root libsel4vm namespace and adds
further structure to distinguish different interfaces.

libsel4vm: Moved remaining x86 platform includes

Moved the remaining x86 platform includes [vmcs.h and vmexit.h]
into the x86 arch include directory. This are still relevant to
to this library and not necessarily platform specific (such that
it should exist libsel4vmmplatsupport).

libsel4vm: x86 processor src as private interface

Moved the x86 processor source and header into the x86
architecture subdirectory. This has been transformed into an
private interface that only internal code can access. We choose
to abstract over processor source. Updated the processor header
includes to reflect this change.

libsel4vmmplatsupport: Name update for thread init

Updated the name of 'vmm_init_guest_thread_state' to
'vmm_plat_init_guest_thread_state'

libsel4vmmplatsupport: Use ram helpers in bootinit

Updated x86 guest boot init to use the guest ram helper for
vm_ram_touch. This allows us to remove the duplicate touch
callbacks/helpers.

libsel4vmmplatsupport: x86 init boot returns error

Updated the 'vmm_plat_init_guest_boot_structure' to return
errors back to the caller rather than use assertions. This is
due the implementation no longer being strictly binded to the VM's
initialisation and runtime.

libsel4vmmplatsupport: Pass x86 boot info addr

Updated the storing of the guest boot structure address to be
stored on a user supplied pointer. This meaning it no longer
stores it within the guest vm object. In addition updated the
guest thread state initialisation to take the guest boot structure
address as a parameter.

libsel4vmmplatsupport: x86 init state throws error

Revised the x86 vmm_init_guest_thread_state to catch and throw
errors when initialising the thread context. Also revised the
code structure to initialise the thread context with a single
call to libsel4vm.

libsel4vmmplatsupport: Simplified boot parameters

Simplified the x86 vmm plat init guest boot structure
parameters to take in the guest image datastructures. This is
since the source can now use sel4vmmplatsupport source.

libsel4vmmplatsupport: x86 boot_init uses sel4vm

Updated the x86 guest_boot_init source to use libsel4vm. This
commit allows the source to properly compile and be used.

libsel4vm: Moved guest boot src to vmmplatsupport

The boot_guest interface and its accompanying components (e820,
bootinfo, acpi) are platform specific interface. This should rather
be code a VMM can opt in to using for initialising its x86 VM boot
environment. This commit simply moves the source and does not
compile. Future work will update the source to a working state such
that it uses the libsel4vm api.