This patch add's a XEN_SPLIT_KERNEL to Config.mk and use it in config/Linux.mk This patch is also needed for my vnet-patch (some minutes before) to get the kernel_src dir. Signed-off-by: Robert Valentan -- Robert Valentan