Amend RISCV machine default value