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'

Update sel4platsupport_copy_irq_cap

- add sel4ps_irq_t which wraps ps_irq_t
- copy function now understands the type of irq and uses the correct
function from simple
- sel4platsupport_arch_copy_irq_cap deals with arch-specific
- removed
* sel4platsupport_copy_msi_cap
* sel4platsupport_copy_ioapic_cap

Fix licenses

libsel4platsupport: Helper function for copying IOAPIC IRQ cap

Correct various printing for 64bit compatibility

libsel4platsupport: Remove some unnecessary #includes, and add some missing ones.

libsel4simple: add ioapic function to arch-simple

sel4simple: add arch specific interface

This commit defines arch_simple_t, which adds arch
specific functions to libsel4simple and its implementors,
as the seL4 API no longer allows simple implementation to be
architecture agnostic, specifically for the interrupt handling
interface.

This commit adds the x86 arch interface which defines functions
for getting irqs, msis and ioports, and the arm interface
which just defines irqs.

libsel4simple-stable has been updated to implement the new
interface and users should not be effected. However, other
implementations of simple will need to be updated.

libsel4platsupport has been updated such that the hpet driver
wrapper now works with the lastest seL4 kernel.