correction, on debian 7 there is a xen initrd