Re: [SeaBIOS] [PATCH v3 00/25] virtio: add version 1.0 support, move to 32bit