Trivial: Style fix

make the style checker happy

seL4_libs: remove autoconf.h from seL4_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'

Fix all the whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of files

Fix licenses

SELFOUR-807: Add can_use_dev param for frame vka

This parameter allows the allocators to potentially use device untyped
objects for anonymous frame creation by setting to true.

Correct various printing for 64bit compatibility

libsel4vka: Use words for allocation cookies

The cookies returned by the allocation interfaces are the size of
a machine word. This commit removes an assumption that this is 32-bits

libsel4vka: Add utspace_alloc_at to the vka interface

utspace_alloc_at is intended for allocating memory mapped device IO
regions.

libsel4vka: 64-bit compatible types

Cleanup various debug printing to be size agnostic as well as change the types of
any cookies to be a seL4_Word instead of an explicit uint32_t