Tobias,
hinterher ist man immer schlauer. Noch um fünf Uhr morgens unserer Zeit, also drei Stunden nach Auftreten des Problems gab es noch recht wenige Erfahrungsberichte im Netz. Das war alles noch sehr vage. Außerdem waren bei uns nur die Systeme betroffen, die Java-Services betreiben. Alle anderen Linux-Server liefen (und laufen immer noch) ohne erkennbare Probleme weiter. Ein Restart der Java Services hatte überhaupt nichts gebracht - deshalb hatte ich ja auf den Reboot gesetzt. Ob ein simpler NTP-Restart hier geholfen hätte - kann sein (siehe http://blog.wpkg.org/2012/07/01/java-leap-second-bug-30-june-1-july-2012-fix/), muß nicht sein. Und wer nur zwei Stunden geschlafen hat, hat ohnehin den Kopf nicht frei für tiefere Recherche.

P.S.:
Eine kleines "One day later" gibt's auf http://arstechnica.com/business/2012/07/one-day-later-the-leap-second-v-the-internet-scorecard/