haskell: explicitly import Prelude hiding Word

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

x64: spec: changes for IRQ invocations (VER-879)

x64: CR3 and machine op updates for Meltdown

x64: Add IOPortControlCaps to control IO port allocation

The previous implementation of IOPortCaps has problems with revocability
and determining parency etc. This commit adds IOPortControlCaps which
behave identically to IRQControlCaps -- invoking the IOPortControlCap
allows one to create IOPortCaps with the supplied range.

There now exist invariants to show that there is only one
IOPortControlCap and that all IOPortCaps in the system do not overlap.
Furthermore there is a global record of which IO ports have been
allocated to prevent reissuing the same ports.

x64 haskell: remove unused x64KSASIDMap

x64: remove all trailing whitespace

x64: haskell: add ptShiftBits et al

x64: haskell: update haskell spec
* use new vmmap_type from spec/machine
* add x64KSKernelVSpace to arch state
* retranslate spec

x64: haskell: updated most of haskell spec for new machine functions

x64: fix haskell Makefile, get haskell building without VT-d stuff

fix ARM build after merge

Also:
- move some ARM-specific things out of Tcb_AI
- port changes from ARM to X64, up to beginning of ArchVSpace_AI

x64: add x64 haskell code from seL4 repository