Die Manpage zu interfaces hat mich auf die Idee gebracht, mir den Debian-Bug 101728 genauer anzugucken. Ist also doch ein Fehler in Debian und nicht in Linux allgemein (obwohl auch einige andere Distros dieses Problem zu haben scheinen).
Danke für alle Antworten und schönes Wochenende noch, Bernd Fuhrmann