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. -- You received this bug notification because you are a member of Kernel Packages, which is subscribed to linux in Ubuntu. https://bugs.launchpad.net/bugs/1745342 Title: touchscreen that worked in artful with 4.12 no longer works with 4.13 Status in linux package in Ubuntu: In Progress Status in linux source package in Artful: In Progress Status in linux source package in Bionic: In Progress Bug description: I have a Dell Venue 11 Pro 7139, and when I installed artful on it (before release) it worked fine. Recently (over the xmas break I think but I'm not sure; this is not a machine I intended to pay too much attention to) the kernel moved from 4.12 to 4.13, and the touchscreen has stopped working. I _think_ the last kernel to work was 4.12.0-13. I haven't done any sort of bisection though. ProblemType: Bug DistroRelease: Ubuntu 17.10 Package: linux-image-4.13.0-31-generic 4.13.0-31.34 ProcVersionSignature: Ubuntu 4.13.0-31.34-generic 4.13.13 Uname: Linux 4.13.0-31-generic x86_64 ApportVersion: 2.20.7-0ubuntu3.7 Architecture: amd64 AudioDevicesInUse: USER PID ACCESS COMMAND /dev/snd/controlC0: john 1041 F.... pulseaudio /dev/snd/pcmC1D0p: john 1041 F...m pulseaudio /dev/snd/controlC1: john 1041 F.... pulseaudio Date: Thu Jan 25 10:18:51 2018 InstallationDate: Installed on 2017-07-10 (198 days ago) InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170709) MachineType: Dell Inc. Venue 11 Pro 7139 ProcFB: 0 inteldrmfb ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-4.13.0-31-generic.efi.signed root=UUID=73f0adac-318e-4295-9980-15fb36257cd5 ro quiet splash vt.handoff=7 RelatedPackageVersions: linux-restricted-modules-4.13.0-31-generic N/A linux-backports-modules-4.13.0-31-generic N/A linux-firmware 1.169.2 SourcePackage: linux UpgradeStatus: No upgrade log present (probably fresh install) dmi.bios.date: 06/15/2015 dmi.bios.vendor: Dell Inc. dmi.bios.version: A16 dmi.board.name: 0Y4RMT dmi.board.vendor: Dell Inc. dmi.board.version: A00 dmi.chassis.type: 8 dmi.chassis.vendor: Dell Inc. dmi.modalias: dmi:bvnDellInc.:bvrA16:bd06/15/2015:svnDellInc.:pnVenue11Pro7139:pvr01:rvnDellInc.:rn0Y4RMT:rvrA00:cvnDellInc.:ct8:cvr: dmi.product.name: Venue 11 Pro 7139 dmi.product.version: 01 dmi.sys.vendor: Dell Inc. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1745342/+subscriptions -- Mailing list: https://launchpad.net/~kernel-packages Post to : kernel-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~kernel-packages More help : https://help.launchpad.net/ListHelp
