kiel: deactivate kiel3, change nameservers