raspberrypi4-64: No need to force arm_64bit=1

This workaround is no longer needed with recent firmware.

Signed-off-by: Paul Barker <pbarker@konsulko.com>
(cherry picked from commit 2a9c3bb551)
Signed-off-by: Ricardo Salveti <ricardo@foundries.io>
This commit is contained in:
Paul Barker 2021-01-21 10:46:51 +00:00 committed by Andrei Gherzan
parent db1975714a
commit ff6b4d4876

View File

@ -31,6 +31,4 @@ KERNEL_IMAGETYPE_UBOOT ?= "Image"
KERNEL_IMAGETYPE_DIRECT ?= "Image"
KERNEL_BOOTCMD ?= "booti"
RPI_EXTRA_CONFIG += "\n# Force arm in 64bit mode. See: https://github.com/raspberrypi/firmware/issues/1193.\narm_64bit=1"
ARMSTUB ?= "armstub8-gic.bin"