Convert to SPDX license tags

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

vmmplatsupport & vm: add support for odroidc2

Code and headers for odroidc2 platform support

sel4vmmplatsupport: increase buffer in load_image

Larger sized calls to read can lead to better loading performance if the
underlying read implementation has high overhead for each call
performed.

libsel4vm: Remove allocman dependency

allocman is an object allocation manager that provides an implementation
of the `vka_t` interface. As libsel4vm can perform all allocation
through the `vka_t` interface, it doesn't need to know about allocman.
This commit also adds some missing #includes for dependencies that were
being originally included through the allocman header.

trivial: Style changed files

libsel4vmmplatsupport: 'load_image' early exit bug

Fixed the arm 'load_image' issue that resulted in the function
exiting early without loading the contents of the image. The
condition to the for loop (performing the loading) was never met
due to the 'len' variable being never initialised. Updated the
loading loop to avoid this problem.

libsel4vmmplatsuport: TX2 instruction cache flush

Added an instruction cache flush for the tx2 when loading the
guest image. This is necessary to invalidate the data after
loading the kernel.

libsel4vmmplatsupport: ARM guest_image support

Added an implementation for supporting the loading of guest kernel
and module images on ARM. This is a refactor of sources from
libsel4vm and the camkes-arm-vm.