Convert to SPDX license tags

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

trivial: Style changed files

libsel4vmmplatsupport: Split up exynos5 devices.h

Split up the function and datastructure defines in the exynos5
devices.h header into seperate headers. This corresponding with
the driver implementation.