We have placed some preliminary information on the TI website for  the CC2530ZDK_ZNP_mini kit which is the recommended replacement for  the CC2480DK  kit. 

The CC2480 is not recommended for new designs because the ZigBee PRO stack will not fit on the CC2480 since it only has 128k of flash. In addition, the ZigBee profiles going forward will only iuse the latest version of ZigBee PRO.

The CC2530ZDK_ZNP_mini  should be available in late October and we will announce when these kits are in stock. Right now they are in our contract manufacturer for assembly and final testing.