[SeaBIOS] Re: [PATCH 1/1] virtio: do not init non-bootable devices