On Mon, 15 May 2017 13:56:24 +0200 Arturo Borrero Gonzalez <art...@debian.org> wrote: > (please keep me in CC) > > On Sat, 13 May 2017 06:16:44 +0200 franckr <franck...@online.de> wrote: > > Hi Arturo, > > > > I cannot help for kernel, however, and you probably already know it: > > Several bios updates became available since 10/04/2007 version. > > Did you consider them ? (ie checking release logs) > > Will you try ? > > > > Sure, we are in the way of updating the BIOS. > > But the question remains, is this some kind of kernel regression? >
We managed to upgrade the BIOS (not the last one, though). Still no luck, kernel 4.9 doesn't boot while 4.7 does.
