How to change the server used for Device Mgt

I’ve tried both of these servers with no luck. Is there any more news on how to get out of the +WDSI:4,+WDSI:7 problem?