[PATCH v3] arm64: Support arch_irq_work_raise() via self IPIs