[Bug 851338] vmlinuz-xen doesn't work in XenServer