Hi
Note that KBOOT V1.1.0 UART and USB modes are available in the uTasker serial loader (together with composite USB-MSD, and/or combined SD card etc.) which can be built with CW, KDS, IAR, uVision, CooCox, Crossworks, Atollic, GCC (and with Green Hills in the developer version): µTasker Kinetis support
The TWR-KL25Z48M is supported out-of-the-box - I will post a binary later today so that it can be evaluated if required before Feescale's solution is made available.
The majority of Freescale KE, KL and K boards are supported and need no further porting effort but can be easily customised/built with any of these compilers/tools..
Regards
Mark