Kernel.org: 5.1.11
sid (unstable): 4.19.37-3
buster (testing): 4.19.37-3
stretch (stable): 4.9.168-1+deb9u3
jessie (oldstable): 3.16.68-2

Debian GNU/Linux device driver check & report

HP: Probook 4540s

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-intel
80861e10Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 1
80861e14Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 3
80861e16Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 4
80861e1aIntel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 6
80861e26Intel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1
80861e59YesIntel CorporationHM76 Express Chipset LPC ControlleriTCO_wdt
80861e03YesIntel Corporation7 Series Chipset Family 6-port SATA Controller [AHCI mode]ahci
197b2392YesJMicron Technology Corp.SD/MMC Host Controllersdhci-pci
197b2391YesJMicron Technology Corp.Standard SD Host Controllersdhci-pci
197b2393YesJMicron Technology Corp.MS Host Controllerjmb38x_ms
168c0032YesQualcomm AtherosAR9485 Wireless Network Adapterath9k
10ec8168YesRealtek Semiconductor Co., Ltd.RTL8111/8168/8411 PCI Express Gigabit Ethernet Controllerr8169

Laptop gets heated up on Linux but now on Windows. Issue is probably not the ACPI controllers cause fan is running. (2014-05-05T18:29:40+00:00)

PCI IDWorks?VendorDeviceDriverKernel
80860154Intel Corporation3rd Gen Core processor DRAM Controller
80860151Intel CorporationXeon E3-1200 v2/3rd Gen Core processor PCI Express Root Port
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-intel
80861e10Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 1
80861e14Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 3
80861e16Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 4
80861e1aIntel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 6
80861e26Intel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1
80861e59YesIntel CorporationHM76 Express Chipset LPC ControlleriTCO_wdt
80861e03YesIntel Corporation7 Series Chipset Family 6-port SATA Controller [AHCI mode]ahci
10026841YesAdvanced Micro Devices, Inc. [AMD/ATI]Thames [Radeon HD 7550M/7570M/7650M]radeonv3.1.0-
197b2392YesJMicron Technology Corp.SD/MMC Host Controllersdhci-pci
197b2391YesJMicron Technology Corp.Standard SD Host Controllersdhci-pci
197b2393YesJMicron Technology Corp.MS Host Controllerjmb38x_ms
18143290YesRalink corp.RT3290 Wireless 802.11n 1T/1R PCIert2800pciv3.16.0-
18143298Ralink corp.RT3290 Bluetooth
10ec8168YesRealtek Semiconductor Co., Ltd.RTL8111/8168/8411 PCI Express Gigabit Ethernet Controllerr8169

18143290 works with rt2800pci driver and appropriate firmware file (rt3290.bin). (2013-02-21T07:37:35+00:00)