ARM: Relocate to 0x8000