Squashed commit of the following: arch/arm/include: Add interrupt IRQ numbers. tools/: Add support for the S32K1XX family.