New I/O port interface in simple

This changes the simple interface for getting I/O port capabilities to instead of returning
a potentially pre-existing capability for an I/O port, the caller provides a location in
a cnode to place the requested I/O port. The reason for this change is that I/O ports will
soon be being provided from the kernel by a control cap and this design keeps simple as an
information interface that does not need to do internal allocation. Rather allocation is
only performed explicitly by the caller.

libsel4platsupport: sel4platsupport_get_io_port_ops now takes vka

A vka interface will be needed for upcoming changes to how I/O ports work.

libsel4platsupport: sel4platsupport_new_arch_ops now takes vka

A vka interface will be needed for upcoming changes to how I/O ports work.

sel4platsupport: add sel4platsupport_new_arch_ops

This allows for arch agnostic init of io_ops for arch specific
instructions.

It is a breaking change since sel4platsupport_new_io_ops
no longer initialises arm specific mux and clock interfaces. This is
mitigated slightly by zeroing the io_ops structure in
sel4platsupport_new_io_ops, which should cause faults in apps relying on
this behaviour.

Fix licenses

all: s/LOG_*/ZF_LOG*

Rationalise dependencies.

This commit removes the dependency of libsel4platsupport on
libsel4utils, as libsel4utils is our top level library and should be
able to use the device drivers that libsel4platsupport provides.

The functionality that libsel4platsupport depended on from libsel4utils
has been moved to libsel4simple, as libsel4simple is basically an
extension of libsel4.

Rename IA32->X86 to avoid deprecated usage warnings