Can you also test the latest 4.13 upstream stable kernel, to see if the fix was also cc'd to stable?
http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.13.16/ -- 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/1734084 Title: Kernel Update Causes HDMI Port to Stop Working Status in linux package in Ubuntu: Confirmed Bug description: After upgrading the kernel on my Ubuntu 17.04 laptop from linux-image-4.13.0-16-generic to linux-image-4.13.0-17-generic the HDMI port was no longer recognised by the system causing the external display to stop working. Reverting the kernel to linux-image-4.13.0-16-generic fixes the issue. ProblemType: Bug DistroRelease: Ubuntu 17.10 Package: linux-image-4.13.0-17-generic (not installed) ProcVersionSignature: Ubuntu 4.13.0-16.19-generic 4.13.4 Uname: Linux 4.13.0-16-generic x86_64 ApportVersion: 2.20.7-0ubuntu3.5 Architecture: amd64 AudioDevicesInUse: USER PID ACCESS COMMAND /dev/snd/controlC0: linus 2762 F.... pulseaudio CurrentDesktop: ubuntu:GNOME Date: Thu Nov 23 09:17:32 2017 HibernationDevice: RESUME=UUID=864b1d5d-3e65-4d95-b439-941a5825c74f InstallationDate: Installed on 2017-10-18 (35 days ago) InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170926) MachineType: Dell Inc. Latitude E7470 ProcFB: 0 inteldrmfb ProcKernelCmdLine: BOOT_IMAGE=/vmlinuz-4.13.0-16-generic.efi.signed root=/dev/mapper/ubuntu--vg-root ro quiet splash vt.handoff=7 RelatedPackageVersions: linux-restricted-modules-4.13.0-16-generic N/A linux-backports-modules-4.13.0-16-generic N/A linux-firmware 1.169 SourcePackage: linux UpgradeStatus: No upgrade log present (probably fresh install) dmi.bios.date: 06/02/2017 dmi.bios.vendor: Dell Inc. dmi.bios.version: 1.16.4 dmi.board.name: 0T6HHJ dmi.board.vendor: Dell Inc. dmi.board.version: A00 dmi.chassis.type: 9 dmi.chassis.vendor: Dell Inc. dmi.modalias: dmi:bvnDellInc.:bvr1.16.4:bd06/02/2017:svnDellInc.:pnLatitudeE7470:pvr:rvnDellInc.:rn0T6HHJ:rvrA00:cvnDellInc.:ct9:cvr: dmi.product.family: Latitude dmi.product.name: Latitude E7470 dmi.sys.vendor: Dell Inc. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1734084/+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