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)? Cheers, Ivo