mach-ux500: AB8500 irqs is taken from header file