Added kernel-xen-dom0, a package for latest xen dom0 support.

--HG--
extra : convert_revision : f8d5bd55cc469859f33476fec3ed57f838434646

srcpkgs/kernel/template

@@ -90,7 +90,15 @@ do_install()
 		lver="${myver}"
 	fi
 
-	hdrdest=${DESTDIR}/usr/src/kernel-headers-${lver}
+	if [ -n "${_kernel_xen_dom0}" ]; then
+		hdrdest=${DESTDIR}/usr/src/kernel-headers-xen-dom0-${lver}
+	else
+		hdrdest=${DESTDIR}/usr/src/kernel-headers-${lver}
+	fi
+
+	if [ -n "${_kernel_xen_dom0}" ]; then
+		lver="${lver}-xen-dom0"
+	fi
 
 	install -m 644 arch/x86/boot/bzImage ${DESTDIR}/boot/vmlinuz-${lver}
 	install -m 644 System.map ${DESTDIR}/boot/System.map-${lver}