I would love to try, but unfortunately, I'm not that advanced in kernel management. Could you provide me with detail, step by step instruction what I should do, please. Eventually I may follow some online instruction how to obtain OBS kernel, unless I misunderstood something. Sorry about that.