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>

link kernel_autoconf explicitly

explicitly link kernel_autoconf on each subdirectory

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'

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.

pragma once and for all

Fix licenses