Hello Shawn,
Indeed, there is not a standalone 6lowpan stack for the Kinetis devices. As you already found, my advice is that you take a look into Thread which is still under development. however, you can be a beta customer to start testing with your devices. If you are interested, please fill the form in the link http://contact.freescale.com/Thread-Pre-Cert.
Since you are interested in the MKW40Z MCU, I need to clarify that the current release of Thread stack includes only example projects for the following platforms:
* TWR-KW24D512
* USB-KW24D512
* FRDM-KW24D512
* FRDM-K64F with FRDM-CR20A shield
* FRDM-KL46Z with FRDM-CR20A shield
Also, please take a look into the official Thread Networking Protocol site.
Best regards,
Earl Ramírez.