haskell: Some fixes on kernel init and some progress on multi platform support

haskell/Makefile

haskell/SEL4.cabal

haskell/src/SEL4/API/Failures.lhs

haskell/src/SEL4/API/Syscall.lhs

haskell/src/SEL4/API/Types.lhs

haskell/src/SEL4/Kernel/BootInfo.lhs

haskell/src/SEL4/Kernel/Init.lhs

haskell/src/SEL4/Kernel/VSpace.lhs

haskell/src/SEL4/Kernel/VSpace/ARM.lhs

haskell/src/SEL4/Machine/Hardware.lhs

haskell/src/SEL4/Machine/Hardware/ARM.lhs

haskell/src/SEL4/Machine/Hardware/ARM/Exynos4210.hs

haskell/src/SEL4/Machine/Hardware/ARM/KZM.hs

haskell/src/SEL4/Machine/Hardware/ARM/Sabre.hs

haskell/src/SEL4/Model/StateData.lhs

haskell/src/Simulation/FFIBindings.hs