diff --git a/conf/machine/raspberrypi5.conf b/conf/machine/raspberrypi5.conf
index e53c2d54..03f15c35 100644
--- a/conf/machine/raspberrypi5.conf
+++ b/conf/machine/raspberrypi5.conf
@@ -22,7 +22,11 @@ SERIAL_CONSOLES ?= "115200;ttyAMA10"
 
 VC4DTBO ?= "vc4-kms-v3d"
 
+# When u-boot is enabled we need to use the "Image" format and the "booti"
+# command to load the kernel
+KERNEL_IMAGETYPE_UBOOT ?= "Image"
 # "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet
 KERNEL_IMAGETYPE_DIRECT ?= "Image"
+KERNEL_BOOTCMD ?= "booti"
 
 UBOOT_MACHINE = "rpi_arm64_config"