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