(raw_)spin_lock_irqsave() on hard I-pipe locks encodes the virtual IRQ
state in the flags returned, using bit #8 (PSR_A) to reflect the
current STALL bit state. Therefore such flags may not be passed to the
hard_local_irq*() interface directly.

Use the __ipipe_spin_unlock_irqbegin/complete() API for this.