diff --git a/srcpkgs/kernel/template b/srcpkgs/kernel/template
index f0dfbabb781..b1ecc5b1244 100644
--- a/srcpkgs/kernel/template
+++ b/srcpkgs/kernel/template
@@ -2,7 +2,7 @@
 #
 pkgname=kernel
 version=3.7.1
-revision=2
+revision=3
 wrksrc="linux-${version}"
 maintainer="Juan RP <xtraeme@gmail.com>"
 homepage="http://www.kernel.org"
@@ -103,8 +103,8 @@ do_install() {
 	# Remove firmware stuff provided by the "linux-firmware" pkg.
 	rm -rf ${DESTDIR}/usr/lib/firmware
 
-	for i in acpi asm-generic config generated linux math-emu media net \
-		pcmcia scsi sound trace video; do
+	for i in acpi asm-generic config crypto drm generated linux math-emu \
+		media net pcmcia scsi sound trace uapi video xen; do
 		[ -d include/$i ] && cp -a include/$i ${hdrdest}/include
 	done