On Monday, 24 October 2016, at 14:35 Ben Hutchings (b...@decadent.org.uk) wrote: [...] > > OK, this is the same crash that someone else reported and I think I > know which change triggered it (though not why). > > Does the attached patch fix the crash? (Instructions for rebuilding > the package are at > <https://kernel-handbook.alioth.debian.org/ch-common-tasks.html#s-common-official>.) > > Ben.
The third attempt to generate that patched kernel finally succeeded (doing the compilation overnight, with a large external harddisk as additional storage medium). I installed the resulting 35M Oct 26 03:44 linux-image-4.7.0-1-686-unsigned_4.7.8-1a~test_i386.deb on one of the affected notebooks, and it booted flawlessly :-) Petra