b6f8f8
Adjust release tag for riscv64 If it is specified externally, we hounour that. Otherwise, default to "1.0.riscv64" on riscv.