# Boot in AArch64 mode
arm_control=0x200

kernel_address=0x11000000
