trivial: Fix string typos.
libsel4: Avoid implicit pointer coercion from 0.

Comparing a pointer against a literal without an explicit cast is not supported
by the C parser.

JIRA: VER-429
separate benchmark output by tabs instead of spaces such that it is easier to paste into spreadsheet programs
enable existing armv7 log buffer address for odriod-xu: tested, it works
changes for warning-free build with GHC 7.8.3
updated INSTALL file; renamed
further support for XN bit on ARM
add support for XN attribute in Haskell
trivial: style
trivial: more style
trivial: thank you, astyle.
trivial: once more with the style thing
XN: fix order of vm_attributes in init code and update apq8064
Merge branch master into experimental

Conflicts:
	haskell/SEL4.cabal
	haskell/Setup.hs
	haskell/src/HaskellCPU.lhs
	haskell/src/SEL4/API/Invocation/ARM.lhs
	haskell/src/SEL4/API/Types.lhs
	haskell/src/SEL4/Kernel/CSpace.lhs
	haskell/src/SEL4/Kernel/Init.lhs
	haskell/src/SEL4/Kernel/VSpace/ARM.lhs
	haskell/src/SEL4/Kernel/VSpace/CSpace.lhs
	haskell/src/SEL4/Machine/Hardware/ARM.lhs
	haskell/src/SEL4/Machine/Hardware/ARM/Lyrebird.hs
	haskell/src/SEL4/Machine/Hardware/ARM/QEmu.hs
	haskell/src/SEL4/Machine/Hardware/HaskellCPU.lhs
	haskell/src/SEL4/Machine/RegisterSet.lhs
	haskell/src/SEL4/Object/CNode.lhs
	haskell/src/SEL4/Object/Interrupt.lhs
	haskell/src/SEL4/Object/ObjectType.lhs
	haskell/src/SEL4/Object/Structures.lhs
	haskell/src/SEL4/Object/TCB.lhs
	haskell/src/SEL4/Object/Untyped.lhs
	include/arch/arm/arch/object/structures.h
	src/arch/arm/kernel/vspace.c