[PATCH v11 04/19] arm: smp: Introduce a special IPI signalled using FIQ