Hello Christopher:
You are right, I apologize for this. This support did not make it to the release due to time constraints. But it is still in the plans, now for the next release KSDK v1.2 estimated for April 2015.
By the way, you mentioned "...for the board we chose". What board are you referring to? The closest board for K22FX512 is TWR-K21F120M. I hope you are not confusing K22FX512 with K22FN512, check this. I say this because K22FN512 is already in KSDK.
Happy Holidays for you too! / Felices fiestas para tí también! :smileyhappy:
Jorge Gonzalez