Re: [PATCH] travis-ci: Update QEMU RISC-V run command