>The problem has stopped appearing somewhere around the 4.18.5 kernel update on Tumbleweed and has not returned so far.
I am still seeing the problem.
I have just updated Tumbleweed on three systems. And then I rebooted twice (to
make sure that this was with everything fully updated to 20181110). I checked
on the second reboot.
(1) A virtual machine under KVM: Still seeing the problem.
(2) A Lenovo ThinkServer: Still seeing the problem.
(3) A Dell laptop: I am no longer seeing the problem on this system.
I guess that means there's a hardware dependency on whether this happens.