Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision 4bf0926eafdfba5eb055645d92feb2f44e40542f)
+++ defaults/amd64/Makefile.config	(revision 207d5dadf7833d07c9c258f2d828446d29f2c297)
@@ -65,4 +65,7 @@
 CONFIG_BFB_BPP = 16
 
+# Include development files (headers, libraries)
+CONFIG_DEVEL_FILES = y
+
 # OHCI root hub power switch, ganged is enough
 OHCI_POWER_SWITCH = ganged