I had the same issue than the submitter and installing the non-free Linux firmware solved the problem. -- Sébastien Villemot Researcher in Economics & Debian Maintainer http://www.dynare.org/sebastien Phone: +33-1-40-77-84-04 - GPG Key: 4096R/381A7594
Attachment:
pgp6nD2k9ebu0.pgp
Description: PGP signature