[PATCH v10 14/21] riscv: Clean up IPI initialization code