diff --git a/conf/machine/raspberrypi5.conf b/conf/machine/raspberrypi5.conf
index 9ea4941..b7450fb 100644
--- a/conf/machine/raspberrypi5.conf
+++ b/conf/machine/raspberrypi5.conf
@@ -17,7 +17,7 @@ RPI_KERNEL_DEVICETREE = " \
     broadcom/bcm2712-rpi-5-b.dtb \
 "
 
-SDIMG_KERNELIMAGE ?= "kernel8.img"
+SDIMG_KERNELIMAGE ?= "kernel_2712.img"
 SERIAL_CONSOLES ?= "115200;ttyS0"
 
 VC4DTBO ?= "vc4-kms-v3d"