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: Refactor object and kobject definitions

Primarily this change allows x86 object and kobject definitions to be
futher abstracted by the current sel4_arch. To achieve this some
additional arch abstractions are done, resulting in minor changes
to the arm definitions.

In the process various cleanup to remove #ifdef blocks has also
been done.

Rename IA32->X86 to avoid deprecated usage warnings