raspberrypi4.conf: The firmware uses kernel7l.img when LPAE is supported
@@ -11,7 +11,8 @@ MACHINE_EXTRA_RRECOMMENDS += "\
bluez-firmware-rpidistro-bcm4345c0-hcd \
"
-SDIMG_KERNELIMAGE ?= "kernel7.img"
+# 'l' stands for LPAE
+SDIMG_KERNELIMAGE ?= "kernel7l.img"
UBOOT_MACHINE = "rpi_4_32b_config"
SERIAL_CONSOLES ?= "115200;ttyS0"
