diff --git a/conf/machine/raspberrypi.conf b/conf/machine/raspberrypi.conf
index 1b3702f..732ba32 100644
--- a/conf/machine/raspberrypi.conf
+++ b/conf/machine/raspberrypi.conf
@@ -35,3 +35,5 @@ MACHINE_EXTRA_RRECOMMENDS += " \
 
 # Set raspberrypi splash image
 SPLASH = "psplash-raspberrypi"
+
+IMAGE_BOOT_FILES ?= "bcm2835-bootfiles/* ${KERNEL_IMAGETYPE};kernel.img"