# Boot in AArch64 mode
arm_64bit=1

kernel_address=0x11000000
