Ich habe weiterhin meine Zweifel, dass es am Betriebssystem liegt, wenn bei genau 1 User ein Fehler auftritt.
Wäre das ein genereller Bug, hätten meine händisch eingetragenen DNS ebenfalls gelöscht sein müssen. Da sie das aber nicht sind, ist die Fehlerquelle wohl nicht beim Update zu suchen.