fix level setup code for GPIO IRQs