Configuring an interrupt source as FIQ