libsel4camkes: camkes_call_hardware_init_modules

Provide this public function for starting hardware modules that have
been registered.

libsel4camkes: Move ELF section externs to sources

Instead of leaving the ELF section extern declarations in header files
where it could be redefined each time it's included, we move the
declarations to the .c files.

libsel4camkes: Add implementations of DTB ps ops

This commit adds the implementation of the interfaces of the DTB
platsupport operations.

trivial: style changed files in libsel4camkes

The style checker was only run over the files that were changed in the
refactoring of CAmkES connector template functionality into
libsel4camkes.

libsel4camkes: Add ioport_region struct, constants

The new struct is used for describing an IO port region allocated by
CAmkES. The constants is for providing meaning to the IO port byte
sizes and not leaving them as magic numbers, i.e. 1, 2, and 4.

sel4camkes: Add support for ps_malloc_ops to camkes_new_io_ops

Just invokes the function already provided in libplatsupport for constructing
a ps_malloc_ops object.

Fix licenses

Refactored parser init commit.

libsel4camkes: Separate IO functionality from DMA.

Prior to this commit, the DMA allocator functions incorrectly presumed that the
user would want to use ps_io functions to lookup DMA pages by their physical
address. These functions are actually intended to be used to lookup the virtual
addresses of memory-mapped IO devices. This commit separates this functionality
into a separate file and extends IO access functionality to cover IO ports as
well. This is primarily for interaction with libplatsupport. If you are not
using libplatsupport infrastructure, it will probably be simply to directly
invoke CAmkES interface functions.