Messages crossed. Sorry for the nonsense; I'm happy to see a
proposed patch (and I should have just waited).
--
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20110329034514.GB22525@elie">http://lists.debian.org/20110329034514.GB22525@elie