Re: [PATCH 4/7] riscv: Clear pending IPIs on initialization