Re: [SeaBIOS] [PATCH] blockcmd: CMD_SCSI op is only used in 32bit mode