[PATCH v8 3/8] arm64: entry: Rework arm64_preempt_schedule_irq()