arm_control deprecated

[andrewrk]

arm_control=0x200

Sets board-specific control bits. NOTE: This option is deprecated in favour of using the arm_64bit command to set the 64-bit boot control bit (arm_control=0x200).

from https://www.raspberrypi.org/documentation/configuration/config-txt/misc.md

Should this be arm_64bit=1 ?

[andrewgreenwood]

Setting arm_64bit=1 works for me (I tested aarch64 bootloader07). My understanding is that this means you also don't need to use the "kernel_old" option and that it sets the start address to 0x80000.