haskell: explicitly import Prelude hiding Word

everywhere where it can clash with Word type defined by SEL4.

Removes all trailing whitespaces

arm: refactor sanitise_register to take a bool instead of a kernel_object

This simplified the sanitise_register logic in CRefine for arm-hyp.

provide TCB argument for sanitiseRegister

Other platforms such as arm-hyp will need to look into additional TCB state
such as VCPU in sanitiseRegister. This commit provides the scaffolding for
that.

Haskell: arch-specific faults + split VMFault -> ArchFault + ReservedIRQ

Hypervisor extensions add extra fault types which are entirely
arch-specific. While the concept of a VM fault exists on all platforms,
these faults are also arch-specific.

This change adds an ArchFault datatype and constructor to the generic
Faults and Failures, and moves VMFault into ArchFault for the ARM
platform.

NOTE: fault indices have changed (generic goes before arch) as per
the changes needed for SELFOUR-413, which is the seL4 C equivalent of
this commit.

* add arch faults and failures to SEL4.cabal

* introduce and handle IRQReserved

On ARM this does nothing, but on other platforms reserved IRQs are
actually used.

* split TCB into ArchTCB (userContext)

* changing ArchFault to make haskell-translator to work

tags: [VER-623][SELFOUR-413]

haskell: move Haskell kernel into spec/