Hello rabbitz,
Unfortunately for this version KDS 3.0 is no support for FRDM-KW40Z.
But I see support for FRDM-KW40Z for new KSDK 1.3, so you can look forward for new version (there will be also support for KDS).
We expected in Q3, end of September.
I checked the information about availability and price and at the moment there is no way to order them neither price of the devices.
I will let you know as the device will be in stock.
Have a nice day!
Best Regards,
Iva