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