Fix xen-kernel initrd-build