Convert to SPDX license tags

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

libsel4vmmplatsupport: Updated licence years

Updated the year in the license headers.

libsel4vmmplatsupport: plat devices use libsel4vm

Updated the plat device drivers to use libsel4vm for
registering their device memory regions and their fault handlers.
This is a general update to the platform devices to use
the updated interfaces in libsel4vm and libsel4vmmplatsupport.
Prior to this update the devices would not compile/work.

sel4vmmplatsupport: Moved plat devices from sel4vm

Added an initial library 'sel4vmmplatsupport' to contain platform
specific drivers and utilities. This is introduced now to hold
the various arm platform devices. This library DOES NOT currently
compile. The code moved needs to be re-evaluated and updated to
to use a new memory interface and device registration interface.