Hi again lethuer,
The link I gave earlier is for deploying a hotfix for kv3; I have attached the files you need for KV4 here. The process is very similar though - please follow these steps:
#1: Toolbox related files to add and enable the support for GCC
1.1. Go to {Kinetis Toolbox Install dir}\mctbx_Kinetis\mctbx_kv\mscripts\ folder and replace the mcd_kv_compiler_callback.p with the one attached
1.2. Go to {Kinetis Toolbox Install dir}\mctbx_Kinetis\mctbx_kv4xf\mctbx_kv4xf\ folder and replace mcd_kv4xf.tmf and mcd_kv4xf.tlc files with the ones attached
#2: GCC support files
2.1: Copy and replace the startup_MK22F51212.S file attached to both {Kinetis Toolbox Install dir}\mctbx_Kinetis\Kinetis_Platform_SDK\platform\startup\MK22F51212\gcc\ and {Kinetis Toolbox Install dir}\mctbx_Kinetis\mctbx_kv4xf\src\gcc_specific_files\ folders
#3: Define the GCC_ARM_TOOL system variable to point to GCC compiler toolchain.
For verification we used the compiler delivered with Model Based Design Toolbox for S32K rev 2.0.0 but you could use the one shipped with S32DS IDE as well.
e.g. GCC_ARM_TOOL = C:\MBDToolbox\mbdtbx_S32K\tools\gcc-arm-none-eabi-4_9
Notes:
#1: The GCC options should be:
GCC Compile: -c -mcpu=cortex-m4 -mthumb -mfloat-abi=hard -mfpu=fpv4-sp-d16 -g -gstrict-dwarf
GCC Assemble: -mcpu=cortex-m4 -mfloat-abi=hard -mfpu=fpv4-sp-d16 -g
GCC Link: -mcpu=cortex-m4 -mthumb -mfloat-abi=hard -mfpu=fpv4-sp-d16

Hope this helps!
Razvan.