Hi Bob,
Thank your for your question.
You will see MK10DX128VLH7 in KDS listed after Eclipse Update. Please see KDS User´s Guide chapter Installing KSDK into KDS, page 62. 
But unfortunately current version of KSDK (and none of previous) does not support MK10DX128VLH7.
You have several options.
- contact your sales representative/distributor about plans to support MK10DX128VLH7 in KSDK
- try to do KSDK support it by yourself according to the attached guide
- take another supported MCU (according to Release Note) KSDK 1.3 Release Note
- ask for support for this MCU through !NXP Professional Services|NXP
I hope this helps you.
Best Regards,
Iva