Current kernel is 4.11.8-2-default. Just updating system today and will reboot. If still OK after that I will close the bug as I will be unable to provide any more diagnostics.