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 licenses

libsel4debug: De-frob return addresses before storing.

In the majority of our debugging scenarios, return addresses are not frobbed so
this has not caused problems in the past. However, technically we should always
be extracting the return address before presenting it to the user to avoid
confusion. This commit is primarily for portability and has no expected impact
on typical usage.

Fix: Explicitly mark unaligned IO in the malloc debugger.

More portable definition of alignment requirement in the malloc debugger.