[SeaBIOS] Re: [PATCH] virtio-blk: Fix integer overflow for large max IO sizes