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