It seems this was already filed in bug #534964, so this bug can be closed.
Regards,
Rik
--
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 4B8CCF40.2000504@esat.kuleuven.be">http://lists.debian.org/4B8CCF40.2000504@esat.kuleuven.be