android: Add properties for DNS servers