On 3 June 2017 at 21:29, Ivo De Decker <ivodd@debian.org> wrote: > Hi, > > On Fri, May 19, 2017 at 01:58:31PM +0200, Arturo Borrero Gonzalez wrote: >> We managed to upgrade the BIOS (not the last one, though). >> >> Still no luck, kernel 4.9 doesn't boot while 4.7 does. > > Does it work with 4.11 (available in experimental)? > Yes! it works with 4.11 from debian experimental.