Kernel.org: 5.2.2
sid (unstable): 4.19.37-6
buster (testing): 4.19.37-5+deb10u1
stretch (stable): 4.9.168-1+deb9u4
jessie (oldstable): 3.16.68-2

Debian GNU/Linux device driver check & report

NEC: 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
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
80861e12Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 2
80861e14Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 3
80861e26Intel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1
80861e58YesIntel CorporationUM77 Express Chipset LPC ControlleriTCO_wdt
80861e03YesIntel Corporation7 Series Chipset Family 6-port SATA Controller [AHCI mode]ahci
80861e22YesIntel Corporation7 Series/C210 Series Chipset Family SMBus Controlleri2c-i801
8086088fYesIntel CorporationCentrino Advanced-N 6235iwlwifi
1180e823YesRicoh Co LtdPCIe SDXC/MMC Host Controllersdhci-pci

Ubuntu-12.10 Live DVD (2013-10-17T14:40:45+00:00)