Yes, to workaround the problem I had already installed the 4.0.4-040004-generic kernel (so not the very latest topline), and it works without any trouble.
Yes, to workaround the problem I had already installed the 4.0.4-040004- generic kernel (so not the very latest topline), and it works without any trouble.