kernel-default-4.13.rc2-1.1.gb545b87.x86_64.rpm works fine. Could we pick this commits to 42.3 kernel?