fix boot with virtio kernels