Move xen/sys parts down to tools/include/xen-sys.

Signed-off-by: Bastian Blank <waldi@debian.org>

tools/include/Makefile

@@ -11,7 +11,7 @@ all:
 	ln -sf ../$(XEN_ROOT)/xen/include/public/COPYING xen
 	ln -sf $(addprefix ../,$(wildcard $(XEN_ROOT)/xen/include/public/*.h)) xen
 	ln -sf $(addprefix ../$(XEN_ROOT)/xen/include/public/,arch-ia64 arch-x86 hvm io xsm) xen
-	ln -sf ../$(XEN_OS) xen/sys
+	ln -sf ../xen-sys/$(XEN_OS) xen/sys
 	$(MAKE) -C xen-foreign
 	ln -s ../xen-foreign xen/foreign
 	touch $@