pragma once and for all

Fix licenses

libsel4allocman: Document kinds of untypeds

Adds documentation as to the meaning of the ALLOCMAN_UT_* constants
and what a user can expect to be allocated from them.

libsel4allocman: Memory mapped device IO allocation support

Adds support at the top level allocman interface for allocating
objects at a particular physical address (allocman_utspace_alloc_at)
as well as fullfilling allocations from 'device memory'. Uses this
for implementing the additional vka interface function vka_utspace_alloc_at

The split and twinkle untyped allocators are updated to support this
new interface. split implements the 'alloc_at' by brute force searches
over its untypeds, whilst twinkle with its lack of book keeping
is forced to fail any 'alloc_at' request

libsel4allocman: Make allocman 64-bit friendly

When compiling for 32-bit there may be spurious warnings due to
some interface type changes. These will eventually be fixed when
other libraries are made 64-bit compatible