With latest kernels from the kernel stable repo the problem seems to have vanished. I close this bug.