RISCV/SPARC: send_ipi() takes a vector