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