Index: defaults/arm32/raspberrypi/Makefile.config
===================================================================
--- defaults/arm32/raspberrypi/Makefile.config	(revision 6c1c1f79aaaa7b2f5d4a551c5a9364e83ad78478)
+++ defaults/arm32/raspberrypi/Makefile.config	(revision 56fb14ca6e6b9d7c5c5d278a2d110b6ff625546f)
@@ -7,2 +7,6 @@
 #framebuffer
 CONFIG_FB = n
+
+# Barebone build with essential binaries only
+CONFIG_BAREBONE = y
+