kernel-default-4.13.1-1.1.gc0b7e1f.x86_64.rpm works great! Not only w.r.t. graphics after hibernation and hdmi ouput, hibernation is also way faster than with the 4.4 kernel. Could we plase make 4.14 the default for 42.3 soon? :-) Seriously: knowing that the code in 4.13 works, is a prediction possible how long it will take to get drm-kmp-default-4.13 rpm? Working with the kotd so far, as it seems to be quite stable. Thanks for that hint!