Kernel.org: 4.20.10
sid (unstable): 4.19.20-1
buster (testing): 4.19.16-1
stretch (stable): 4.9.144-3
jessie (oldstable): 3.16.59-1

Debian GNU/Linux device driver check & report

HP: Envy 4 Ultrabook

PCI IDWorks?VendorDeviceDriverKernel
80860154Intel Corporation3rd Gen Core processor DRAM Controller
80860166YesIntel Corporation3rd Gen Core processor Graphics Controlleri915v3.0.0-
80861e31Intel Corporation7 Series/C210 Series Chipset Family USB xHCI Host Controller
80861e3aIntel Corporation7 Series/C210 Series Chipset Family MEI Controller #1
80861e2dIntel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #2
80861e20YesIntel Corporation7 Series/C210 Series Chipset Family High Definition Audio Controllersnd-hda-intelv3.0.0-
80861e10Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 1
80861e12Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 2
80861e26Intel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1
80861e57YesIntel CorporationHM77 Express Chipset LPC ControlleriTCO_wdtv2.6.39-
8086282aYesIntel Corporation82801 Mobile SATA Controller [RAID mode]ahciv2.6.25-
80861e22YesIntel Corporation7 Series/C210 Series Chipset Family SMBus Controlleri2c-i801v3.0.0-
10ec5289
10ec8168YesRealtek Semiconductor Co., Ltd.RTL8111/8168B PCI Express Gigabit Ethernet controllerr8169v2.6.25-
80860887YesIntel CorporationCentrino Wireless-N 2230iwlwifiv2.6.39-

Wifi and Sound require 3.2.x backport kernel, no iwlagn support for Intel 2230 wireless.  Display boots fine on 2.6.32-5 kernel, on 3.2.0-0 however boots with screen brightness fully down.  Can be fixed with disabling laptop mode in /etc/modprobe.d/i915-kms.conf (2012-10-13T04:33:37+00:00)