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