Re: [PATCH v2 3/7] riscv: Use a valid bit to ignore already-pending IPIs