Felix, thanks for the info, I'll process it sometime soon. For the time being, here is the download repo for the 42.1 kernel: http://download.opensuse.org/repositories/home:/mstaudt:/1004453boo-kernel-421/standard/ You gan get there by clicking on "standard" in the builds list on the right sidebar of the project page, then "Go to download repository".