The current kernel we get from updates is 4.12.14-lp151.28.36-default and it's still possible to reproduce this bug on this kernel.