board/raspberrypi: update firmware option to use 64-bit mode
authorJ. Tang <tang@jtang.org>
Sat, 30 Jun 2018 19:14:25 +0000 (15:14 -0400)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Sat, 30 Jun 2018 20:07:01 +0000 (22:07 +0200)
commit722c11ce7b25a1925498483ef58f59d0931b2ca7
tree6eb888941b3a7046a2eb9fceefddf63919575cd6
parentf50578ab98bbc99139838375f6221411d420b298
board/raspberrypi: update firmware option to use 64-bit mode

As per latest Raspberry Pi firmware documentation, the option
'arm_control' has been deprecated in favor of 'arm_64bit'.

Fixes https://bugs.busybox.net/show_bug.cgi?id=11111.

Signed-off-by: Jason Tang <tang@jtang.org>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
board/raspberrypi/post-image.sh