There's no way to set a static IP address in EthernetInterface in mbed OS 5 anymore. When is that coming back?