I've installed and booted yesterday on linux-image-3.9-1-amd64 (3.9.4-1), and I do not encounter any problem anymore.
I do not have a clue about what failed, but I am not motivated to test the issue again. >From my point of view, this bug can be closed. Benoit -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org