I feel sorry to hear this, but probably it's the best you can do. As alternative you could just replace the kernel with the one of Leap 42.2, but this makes updates to this kernel not so easy.