ia32: Handle spurious IRQs correctly on the PIC
trivial: style
syscall stub generator: change CapDataType into a generic BitFieldType for using bitfield generated types in generated invocations
Add support for Odroid XU3

The XU3 uses a 5422 which for seL4's purposes is almost the same as
the Odroid XU's 5410.  Define a new PLAT_EXYNOS54XX to cover both.

Keep PLAT_EXYNOS5410 and ...5422 for the few places (not in the
kernel) where the difference matters.
ARM: port to GIC400

The gic400 used on the Exynos5 platforms is a little different from
the pl390, and needs a few small changes.
Merge pull request #33 from pchubb/master

Odroid XU3 support
gic_pl390.c: whitespace changes

Remove trailing whitespace, and align comments.
Derive a new IPC buffer cap when inserting into the initial threads TCB to remove mapping information

For any other thread setting the IPC buffer via TCB_Configure will result
in a derived capability being installed that does not have mapping information.
This leads to a expected behaviour that setting a new IPC buffer (even if it is
the same as the current one), will not perform an unmapping.