Hi Tom.
Yes. It will be more easier.
Here is a list supporting devices in KSDK 1.1 and for MQX:
FRDM-K22F
FRDM-K22F-K02*
FRDM-K22F-K02 64*
FRDM-K64F
FRDM-KL03Z - not supported in MQX
FRDM-KL46Z
TWR-K22F120M
TWR-K22F120M-K02*
TWR-K24F120M
TWR-K60D100M
TWR-K64F120M
TWR-KV10Z75M
TWR-KV31F120M
TWR-KV31F120M-KV30*
*These boards do not physically exist, but you can use the associated board to develop code for the subset devices listed. So for instance, if you're interested in the K02 device, use the FRDM-K22F for evaluation but use the K02 libraries provided to write code which will run on the K22F since it is a superset device. as Anthony Huereca mentioned in his post. https://community.freescale.com/thread/336397
I hope it helps.
Iva