I should be able to test on the test machine that triggered the bug report. I left the file system as is and reinstalled on another partition. But I don't understand the kernel patching system well enough to build such a kernel. So if you have some rpm in OBS, let me know.