pragma once and for all

Fix licenses

Support for vt-x in master branch

This commit changes vt-x support to that in the master branch. The main
changes are
* EPT structures have 4 levels instead of 3
* IO port passthrough has a different interface
* Some IA32->X86 renames
* Use API constants in libsel4

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.

libsel4vka: 64-bit compatible types

Cleanup various debug printing to be size agnostic as well as change the types of
any cookies to be a seL4_Word instead of an explicit uint32_t

Rename IA32->X86 to avoid deprecated usage warnings