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 for aarch64 crt0 in libsel4platsupport.

Move the contents of the correct register to the stack pointer.

Signed-off-by: Robbie VanVossen <robert.vanvossen@dornerworks.com>

libsel4platsupport: Use .balign instead of .align

.align has slightly difference meanings on different architectures and all the present
alignment directives were written with the intention that they be a byte alignment

Fix all the whitespace

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

Fix licenses

libsel4platsupport: Add support for aarch64

Prepare for aarch64 implementation