DONT_TRANSLATE more inline asm functions.

The c-parser can now parse these functions, but it does it by
discarding the inline ASM block, creating a misleading and likely
malformed function body. It is better to not translate these
with a DONT_TRANSLATE comment.

This change has been made for the current verification platform
only, and should probably be extended to any other verification
targets as necessary.
Support IOAPIC on ia32 and modify interrupt handling to support user level setting of modes
ioapic: refactored C code and first attempt at haskell spec
ioapic: trivial: modified definition of toBool
ioapic: reverted setIRQState change
ioapic: trivial: style
ioapic: fix haskell for new 14 bit FSR
Merge branch 'master' into experimental

Conflicts:
	haskell/src/SEL4/API/Invocation.lhs
	haskell/src/SEL4/Kernel/VSpace/ARM.lhs
	haskell/src/SEL4/Machine/Hardware.lhs
	haskell/src/SEL4/Machine/Hardware/ARM.lhs
	haskell/src/SEL4/Object/Interrupt.lhs
	haskell/src/SEL4/Object/ObjectType.lhs
	include/plat/pc99/plat/machine.h
	src/arch/arm/fastpath/fastpath.c
	src/arch/ia32/kernel/boot_sys.c
	src/plat/pc99/Kconfig
Set default MAX_NUM_BOOTINFO_DEVICE_REGIONS to a value that will fit into the initial boot info frame
Clean up data-flow in resolveVAddr.

Initialise the 'ret' struct from a constant zero struct to ensure that no
uninitialised data is returned. Returning uninitialized data creates headaches
for binary verification.

This function is inlined in builds I have looked at, and the 'ret' struct is
never built, so this change has zero impact on the binary.
Permit a thread to read and write their own registers.
Use CC instead of LD and AS
Merge branch 'master' into experimental

Conflicts:
	Kconfig
	include/config.h
	src/arch/arm/kernel/vspace.c