fix kernel

The linux-virtual kernel apparently is not bootable.