Hi, It would be more interesting since Salvatore mentioned the use of the reportbug kernel being necessary install the reportbug package. As per wiki https://wiki.debian.org/DebianKernelReportingBugs -- Cheers, Leandro Cunha