Re: Configuring an interrupt source as FIQ