Kurzer Bericht: Das Update scheint geholfen zu haben. Vor allem sind jetzt auch meine SNMP-Probleme weg.