Hi,
Virtio 1.0 block devices (virtio-blk/virtio-scsi) use a 64-bit BAR unusable by SeaBIOS if mapped over 4G space, preventing the system to boot.
Not needed, works fine in master (see commit 0e21548b15e25e010c362ea13d170c61a3fcc899).
Is not a clean cherry-pick for 1.9-stable though, so this isn't yet in any seabios release.
So, maybe it is time to plan a 1.10 release? There are also a number of other improvements and cleanups in the master branch. Kevin?
cheers, Gerd