diff --git a/conf/machine/raspberrypi4.conf b/conf/machine/raspberrypi4.conf
index ebc506e..b4fd271 100644
--- a/conf/machine/raspberrypi4.conf
+++ b/conf/machine/raspberrypi4.conf
@@ -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"