Kernel.org: 5.0.9
sid (unstable): 4.19.28-2
buster (testing): 4.19.28-2
stretch (stable): 4.9.144-3
jessie (oldstable): 3.16.64-2

Debian GNU/Linux device driver check & report

DELL: Inspiron 5420 core i7

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-intelv3.0.0-
80861e10Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 1
80861e18Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 5
80861e26Intel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1
80861e57YesIntel CorporationHM77 Express Chipset LPC ControlleriTCO_wdtv2.6.39-
80861e03YesIntel Corporation7 Series Chipset Family 6-port SATA Controller [AHCI mode]ahciv2.6.39-
80861e22YesIntel Corporation7 Series/C210 Series Chipset Family SMBus Controlleri2c-i801v3.0.0-
10de0de9NVIDIA CorporationGF108 [GeForce GT 630M]
80860887YesIntel CorporationCentrino Wireless-N 2230iwlwifiv2.6.39-
19691090Atheros Communications Inc.AR8162 Fast Ethernet

El controlador usada para la tarjeta gráfica nVidia (GeForce GT 630M) fue el del proyecto Bumblebee[1]
[1] http://bumblebee-project.org/
 (2013-05-19T00:04:54+00:00)