Implement sel4utils vspace reservation move / resize.
Implement a very simple dma allocator that relies upon an IOMMU
Squash warning.

When NDEBUG is defined.