From fabfdf32ecded83cbbe240b68f8037dbd7e15278 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Thu, 20 Dec 2012 11:01:09 +0100
Subject: [PATCH] kernel: install yet more missing headers.

---
 srcpkgs/kernel/template | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

diff --git a/srcpkgs/kernel/template b/srcpkgs/kernel/template
index 783c224a578..f0dfbabb781 100644
--- a/srcpkgs/kernel/template
+++ b/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}