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.