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'

trivial: fix output warnings on 64-bit

sel4debug: Actually print in debug_print_bootinfo

Trying to get this function to print requires lots of hard to find
config options. Just print output if the function is called and let the
call site decide how to config guard whether it gets called or not.

Fix all the whitespace

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

Fix licenses

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.

libsel4debug: Accept untyped sizes up to word size

Removes hard coded assumption of the largest untyped being 32-bits
and instead uses CONFIG_WORD_SIZE. Also adds an assert to make sure
the untyped sizes are in fact in this range so that we do not
corrupt the stack

libsel4debug: Fix debug printing

SELFOUR-421 Handle updated bootinfo with device untypeds

Updates the simple-default implementation, and libsel4debug, to
handle the removal of device frames and addition of device untypeds
to bootinfo.

Remove all references to KERNEL_STABLE

sel4debug: remove unused dep on sel4utils

all: s/LOG_*/ZF_LOG*

Update usages of bootinfo to use the userImagePaging list

Previously initial paging capabilities were stored in two lists.
In order to generalize this to N levels of paging, this is being
made a single combined list with a known order.