With 4.9.0-6-amd64 #1 SMP Debian 4.9.88-1+deb9u1 (2018-05-07), the problem disappeared from two different laptops that where affected. Seems like it is fixed. -- Matthieu Dubuget