Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision 4b583f4c93e98921f30c1663cc83ccd84e0a624c)
+++ defaults/amd64/Makefile.config	(revision 75c383031764d7fca6456989fdd52eef0dc4ecb1)
@@ -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
Index: defaults/ia32/Makefile.config
===================================================================
--- defaults/ia32/Makefile.config	(revision 4b583f4c93e98921f30c1663cc83ccd84e0a624c)
+++ defaults/ia32/Makefile.config	(revision 75c383031764d7fca6456989fdd52eef0dc4ecb1)
@@ -77,4 +77,7 @@
 CONFIG_USE_SHARED_LIBS = y
 
+# Include development files (headers, libraries)
+CONFIG_DEVEL_FILES = y
+
 # OHCI root hub power switch, ganged is enough
 OHCI_POWER_SWITCH = ganged