move GPIO IRQ to 15 to match microwatt modifications