Maciek, diogocacador and all the others interested in Kinetis GCC support,
We have now a solution to this problem (GCC is not supported for Kinetis devices) and could be deployed as hotfix (will become available after we finalize all tests)
For the moment if you want to try it and helps us with testing and feedback here is what you need to update:
#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_kv3xf\mctbx_kv3xf\ folder and replace mcd_kv3xf.tmf and mcd_kv3xf.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_kv3xf\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

#2: For the moment we have validated only for KV31F family
#3: If you need to use the Automotive Motor Control library you need to get the latest version that support Kinetis families with GCC.
#4: PIL is now functional

Please let us know your results!
Thank you!
MBDT team.