On Fri, Dec 16, 2016 at 02:10:45PM -0300, Emiliano Marini wrote:
> Thanks KatolaZ,
>
> I was trying that, but once I saw "4.7.8-1" I stopped immediately because
> of that bug reported on the Debian bug track.
>
> It was nice learning some things though.
>

What I am trying to say is that you can donwload a vanilla kernel from
www.kernel.org, e.g. one that does not have that bug (which seems to
have been introduced by one of the Debian patches) and produce a deb
package for it using kernel-package. You might find this tutorial
somehow useful:

https://www.debian.org/releases/jessie/i386/ch08s06.html.en

Sorry if this information is redundant or useless to you, for any
reason...

HND

KatolaZ

-- 
[ ~.,_  Enzo Nicosia aka KatolaZ - GLUGCT -- Freaknet Medialab  ]  
[     "+.  katolaz [at] freaknet.org --- katolaz [at] yahoo.it  ]
[       @)   http://kalos.mine.nu ---  Devuan GNU + Linux User  ]
[     @@)  http://maths.qmul.ac.uk/~vnicosia --  GPG: 0B5F062F  ] 
[ (@@@)  Twitter: @KatolaZ - skype: katolaz -- github: KatolaZ  ]