Perfect, thanks! If you could also test the Leap 42.1 kernel I built for 32 bits, that would be helpful.