diff --git a/conf/machine/raspberrypi4-64.conf b/conf/machine/raspberrypi4-64.conf
index 96fc46b..ea1f6c2 100644
--- a/conf/machine/raspberrypi4-64.conf
+++ b/conf/machine/raspberrypi4-64.conf
@@ -19,7 +19,7 @@ RPI_KERNEL_DEVICETREE = " \
 SDIMG_KERNELIMAGE ?= "kernel8.img"
 SERIAL_CONSOLES ?= "115200;ttyS0"
 
-MACHINE_FEATURES_append = " vc4graphics"
+MACHINE_FEATURES_append = " armstub vc4graphics"
 VC4DTBO ?= "vc4-fkms-v3d"
 ARMSTUB ?= "armstub8-gic.bin"