Re: [PATCH v7 15/22] riscv: Clean up IPI initialization code