Hi
If you don't solve your problem you can get loaders [USB-MSD Host/Device, SD card, KBOOT, AN2295
Developer's Serial Bootloader and Ethernet Web Server] for almost all Kinetis boards/parts at
http://www.utasker.com/kinetis.html
Builds with KDS, CS, S32, IAR, Keil, Atollic, Rowley, Greenhills, CooCox, GCC and VS and allows real-time simulation for testing, debugging, analysing etc.
Regards
Mark