Comment 10 for bug 1712508

Christian, the problem is that 17.10 does not use the mainline kernel. I bet that the mainline kernel doesn't work. Still, I can't tag it, and with *buntu's distro kernel, you can't neither.
Could you follow #4 using the most recent mainline kernel as described in that link in order to tag this bug appropriately?