Hi Takashi I hope, this was it for the testing on my side. Because I have to put my production PC back into a "stable" state. (Stable Kernel, Secure Boot enabled in GRUB and BIOS, reverse modifications in zypp.conf, re-enable bumblebee, etc., but would therefore also need to revert to kernel-firmware 20180525 until the patched kernel is out.) One closing question: What is in general the time frame, until such a fix lands in the regular standard kernel? (like kernel-default-4.12.14-lp150.12.28.1+) Are we talking about hours, days, or weeks?