Comment 42 for bug 1745342

Sorry, your right. These are mainline kernels, so there is no -extra package.

So it sounds like the bug is due to a config change. I'll take a look at the git logs and see if any changes stick out.

Could you give the following two Ubuntu kernels a try:

4.12.0-14: https://launchpad.net/ubuntu/+source/linux/4.12.0-13.14/+build/13325106
4.13.0-10: https://launchpad.net/~canonical-kernel-team/+archive/ubuntu/unstable/+build/13358561

With these kernels, you need to install both the linux-image and linux-image-extra .debs.