Fix licenses

Refactored parser init commit.

Hardware: include stdint.h automatically when using IO ports.

This has very little impact currently and should have no user-visible effects.
The purpose of this commit is support for upcoming changes that remove
[u]int*_t as built in types from CAmkES. At this point they become opaque C
types that the user is expected to have in scope when using. In the case of the
integer types, this is usually not necessary because CAmkES coincidentally
includes these as part of other operations, but for correctness we should do it
explicitly.

Fix whitespace schizophrenia.

Add ability to invoke x86 I/O ports by offset instead of just absolute port number

This change allows I/O ports to be used in a similar way to memory mapped IO, where
the specification chooses the physical address that you are accessing, and you
perform all operations effectively via offset. In the case where the are multiple
I/O port devices, or the device can move around, this allows the component to not
need to be told somehow where it is.

Correct definition of IOPort RPC interface

The IOPort interface claimed that all values are passed as full integers,
with unused bytes being zeroed out. This did not match the implementation
in the template, which used a precisely sized type for both arguments
and return values. This commit modifies the interface to match the
implementation.

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.

Release snapshot