diff --git a/conf/machine/raspberrypi4.conf b/conf/machine/raspberrypi4.conf
index 22938eb..ebc506e 100644
--- a/conf/machine/raspberrypi4.conf
+++ b/conf/machine/raspberrypi4.conf
@@ -12,6 +12,7 @@ MACHINE_EXTRA_RRECOMMENDS += "\
 "
 
 SDIMG_KERNELIMAGE ?= "kernel7.img"
+UBOOT_MACHINE = "rpi_4_32b_config"
 SERIAL_CONSOLES ?= "115200;ttyS0"
 
 MACHINE_FEATURES_append = " vc4graphics"