Added missing Xen Kernel Patches which where ignored because of