I can see from the API to get/set Static IP configuration in Simplelink that there is only a primary DNS server. Is that true internally on the CC3100? If DHCP provides a secondary DNS server is it dropped by the CC3100? If CC3100 supports a backup DNS then is there a plan to add an API to get/set it?