--- xc/extras/drm/shared/drm.h	2005-12-28 14:37:52.000000000 +0000
+++ xc/extras/drm/shared/drm.h.patched	2005-12-28 14:39:21.000000000 +0000
@@ -64,7 +64,6 @@
 
 #if defined(__linux__)
 #if defined(__KERNEL__)
-#include <linux/config.h>
 #endif
 #include <asm/ioctl.h>		/* For _IO* macros */
 #define DRM_IOCTL_NR(n)		_IOC_NR(n)