Index: defaults/arm32/raspberrypi/Makefile.config
===================================================================
--- defaults/arm32/raspberrypi/Makefile.config	(revision 0dfa93b0cda81f93598fc30620d75a22c14f06d2)
+++ defaults/arm32/raspberrypi/Makefile.config	(revision 0dfa93b0cda81f93598fc30620d75a22c14f06d2)
@@ -0,0 +1,8 @@
+# Machine type
+MACHINE = raspberrypi
+
+# RAM disk format
+RDFMT = fat
+
+#framebuffer
+CONFIG_FB = n