It seems that the QFN 32 package is not available under the "MK10DX128xxx10" configuration (see attached image). Maybe the problem is that the MK10DX128xxx5 is a 50MHz core, and the xxx10 is for 100Mhz cores?
I read somewhere that the 50Mhz K10 processor is actually the same core as the 50Mhz K20, and K12 processors, but the MK20DX128xxx5 isn't shown as an option. As a result, the closest match I can find is the MK12DX128xxx5, LQFP48 package.
Anyone know where to start with the MK10DX128VFM5 processor?