[SeaBIOS] [PATCH v3 23/25] virtio-scsi: 32bit cleanup