Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision 4bf0926eafdfba5eb055645d92feb2f44e40542f)
+++ defaults/amd64/Makefile.config	(revision 3e2291a92414078b4b925e2556f98dff44eefea0)
@@ -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