kernel: install yet more missing headers.

srcpkgs/kernel/template

@@ -2,7 +2,7 @@
 #
 pkgname=kernel
 version=3.7.1
-revision=1
+revision=2
 wrksrc="linux-${version}"
 maintainer="Juan RP <xtraeme@gmail.com>"
 homepage="http://www.kernel.org"
@@ -105,19 +105,12 @@ do_install() {
 
 	for i in acpi asm-generic config generated linux math-emu media net \
 		pcmcia scsi sound trace video; do
-		[ -d include/$i ] && \
-			cp -a include/$i ${hdrdest}/include
+		[ -d include/$i ] && cp -a include/$i ${hdrdest}/include
 	done
 
-	# Add workaround for vmware not finding kernel headers.
-	cd ${hdrdest}/include/linux && \
-		ln -sf ../generated/utsrelease.h . && \
-		ln -sf ../generated/autoconf.h .
-
 	cd ${wrksrc}
 	mkdir -p ${hdrdest}/arch/x86
 	cp -a arch/x86/include ${hdrdest}/arch/x86
-	cp -a include/xen ${hdrdest}/include
 
 	# Copy files necessary for later builds, like nvidia and vmware
 	cp Module.symvers ${hdrdest}