Re: [SeaBIOS] Bug in SeaBIOS virtio-ring handling bug with vhost-scsi-pci