Report IPA for restart address in vm faults
Handle hvc exceptions
exynos5: Use high mem for seL4 and export low mem as device region
ARM-HYP: Allow unaligned access for PL0
Merge pull request #1 from alexkroh/arm_hyp

Arm hyp