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>

vmmplatsupport & vm: add support for odroidc2

Code and headers for odroidc2 platform support