no there is no bug ..
the free codesourcery compiler is an arm compiler .. not an kinetis compiler ..
On Mentor web site, a (not free of charge) Kinetis compiler is present, so they have a Cortex-M4 compatible compiler. I thought the Lite version was made of the same command line tools of the full edition.
this compiler can compile for cortex-m3 .. which runs on the cortex-m4 too!
but specially cortex-m4 assembler cannot be compiled ..
I'm not an ARM Cortex-M expert, but it seems only DSP and SIMD instructions were added to Cortex-M4. The "base" instruction set (Thumb/Thumb2) should be the same. Does MQX includes DSP/SIMD code for Kinetis architecture?