debug: add helper functions for cap type checking

This reduces the usage of magic values to one file only.

Signed-off-by: Axel Heider <axelheider@gmx.de>

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'

pragma once and for all

Fix all the whitespace

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

Fix licenses

libsel4vka: Raise fatal errors in vka_cspace_make_path

This function is unable to indicate to the user whether its operation was successful
or not. As a result in the presence of an error we should panic instead of allowing
the user to continue with garbage data unknowingly

sel4vka: add + fix checks for non-null functions

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.

Remove assumptions about the 0 paddr being invalid

There is no way to prevent platforms from having interesting memory
or devices at paddr 0, as such we should not be using 0 to signal
the absence of a physical address. This change fixes some cases
where we were doing this, and switches to sentinal value that cannot
collide with a valid page base physical address.

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