Added xen-patched kernel.