Just an FYI:
MQX 4.1.0 IAR for the Freedom K64 appears to have some minor configuration errors:
The "Hello" example has Freescale MK63FN1M0xxx12 as the processor rather than MK64FN.
The linker allocates 512 kB rather than 1 MB for flash.
If I find others I'll follow-up here.