- Typos / wrong names in s32k14x_irq.h, s32k1xx_memorymap.h and s32k1xx_pcc.h - Wrong base address for port input disable register in s32k1xx_pin.c - up_* still had to be changed to arm_* in some places
- Typos / wrong names in s32k14x_irq.h, s32k1xx_memorymap.h and s32k1xx_pcc.h - Wrong base address for port input disable register in s32k1xx_pin.c - up_* still had to be changed to arm_* in some places