[PATCH v14 13/20] riscv: Clean up IPI initialization code