[SeaBIOS] Re: [PATCH] virtio: extend virtio queue size to 256