Convert to SPDX license tags

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

supress-warnings: fix gcc warnings

-Set defines to ull
-Use correct type
-Use Cast

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

libsel4vmmplatsupport: Updated vpci irq map

Updated the generation of the vpci irq map to take into account
the address cells value defined in the fdt interrupt controller
node. This is an intermediate solution to resolving the number
cells to insert into the parent interrupt specifier. Ideally we
want to extract the '#address-cells' value out of the fdt irq
controller node (or default to 1 if not defined).

libsel4vmmplatsupport: Revised qemu vpci addresses

Revised the qemu vpci address ranges. The previous values were
found to conflict with other devices qemu manages. Moved the
addresses to be situated after the ram address range where QEMU
is less likely to allocate from.

libsel4vmmplatsupport: Expanded vpci io region

Expanded the size of the vpci io region for all the platforms. This
ensures we emulate the full io region space we advertise in the
fdt (which other devices will use)

libsel4vmmplatsupport: vpci memory region address

Added definitions to the arm vpci platform includes defining the
MMIO regions for the virtual pci device.

libsel4vm: Moved device drivers to vmmplatsupport

Moved the arm device drivers from libsel4vm out to
libsel4vmmplatsupport.These are optional devices a VMM may choose
to initialise and hence do not need to be managed by libsel4vm.
Note these devices do NOT compile and need to be updated to use
the new memory interface for reservation management and
fault handling. This is an intermediate commit in preperation for
updating the device drivers.