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