Re: [PATCH 1/1] riscv: don't jump to 0x0 in handle_ipi()