···33 kernel=u-boot-rpi3.bin
3435 # Boot in 64-bit mode.
36- arm_control=0x200
3738 # U-Boot used to need this to work, regardless of whether UART is actually used or not.
39 # TODO: check when/if this can be removed.
···33 kernel=u-boot-rpi3.bin
3435 # Boot in 64-bit mode.
36+ arm_64bit=1
3738 # U-Boot used to need this to work, regardless of whether UART is actually used or not.
39 # TODO: check when/if this can be removed.