riscv64 semihosting not working