riscv: implement IPI platform functions using SBI