On Fri, 19 May 2017 13:58:31 +0200 Arturo Borrero Gonzalez <
arturo@debian.org> wrote:
> On Mon, 15 May 2017 13:56:24 +0200 Arturo Borrero Gonzalez
> <
arturo@debian.org> wrote:
> > (please keep me in CC)
> >
> > On Sat, 13 May 2017 06:16:44 +0200 franckr <
franckr01@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.
>
>