[SeaBIOS] Re: [PATCH] virtio-blk: Fix incorrect type conversion in virtio_blk_op()