Re: [SeaBIOS] [PATCHv3] Support for booting from virtio disks