Thanks for the feedback! Hmm, I expected to see a difference between 4.1 and 4.4 since you said that a 4.2 kernel worked, but 4.4 didn't. You're right, there are no official 32 bit kernels for Leap anymore. However the 42.1 package was still able to build for 32 bits: https://build.opensuse.org/package/show/home:mstaudt:1004453boo-kernel-421/kernel-default Could you please extract the Mageia kernel config and attach it here? Maybe I'll find a difference there...