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

Debian GNU/Linux device driver check & report

Samsung: NC10 Plus laptop

PCI IDWorks?VendorDeviceDriverKernel
8086a010YesIntel CorporationAtom Processor D4xx/D5xx/N4xx/N5xx DMI Bridgeintel-agp
8086a011YesIntel CorporationAtom Processor D4xx/D5xx/N4xx/N5xx Integrated Graphics Controlleri915
8086a012Intel CorporationAtom Processor D4xx/D5xx/N4xx/N5xx Integrated Graphics Controller
808627d8YesIntel CorporationNM10/ICH7 Family High Definition Audio Controllersnd-hda-intel
808627d0Intel CorporationNM10/ICH7 Family PCI Express Port 1
808627d2Intel CorporationNM10/ICH7 Family PCI Express Port 2
808627d4Intel CorporationNM10/ICH7 Family PCI Express Port 3
808627d6Intel CorporationNM10/ICH7 Family PCI Express Port 4
808627c8Intel CorporationNM10/ICH7 Family USB UHCI Controller #1
808627c9Intel CorporationNM10/ICH7 Family USB UHCI Controller #2
808627caIntel CorporationNM10/ICH7 Family USB UHCI Controller #3
808627cbIntel CorporationNM10/ICH7 Family USB UHCI Controller #4
808627ccIntel CorporationNM10/ICH7 Family USB2 EHCI Controller
80862448YesIntel Corporation82801 Mobile PCI Bridgei810_rng
808627bcYesIntel CorporationNM10 Family LPC ControlleriTCO_wdt
808627c1YesIntel CorporationNM10/ICH7 Family SATA Controller [AHCI mode]ahci
808627daYesIntel CorporationNM10/ICH7 Family SMBus Controlleri2c-i801
14e44727YesBroadcom CorporationBCM4313 802.11bgn Wireless Network Adapterbrcmsmac
11ab4354YesMarvell Technology Group Ltd.88E8040 PCI-E Fast Ethernet Controllersky2

[    0.000000] Linux version 3.13.0-36-generic (buildd@toyol) (gcc version 4.8.2 (Ubuntu 4.8.2-19ubuntu1) )
#63-Ubuntu SMP Wed Sep 3 21:30:07 UTC 2014 (Ubuntu 3.13.0-36.63-generic 3.13.11.6)
[    8.992082] ACPI Warning: 0x0000000000001028-0x000000000000102f SystemIO conflicts with Region \PMIO 1 (20131115/utaddress-251)
[    8.992126] ACPI Warning: 0x0000000000001028-0x000000000000102f SystemIO conflicts with Region \_SB_.PCI0.LPC0.PMIO 2 (20131115/utaddress-251)
[    8.992138] ACPI: If an ACPI driver is available for this device, you should use it instead of the native driver
[    8.992152] ACPI Warning: 0x0000000000001180-0x00000000000011af SystemIO conflicts with Region \_SB_.PCI0.LPC0.GPOX 1 (20131115/utaddress-251)
[    8.992165] ACPI: If an ACPI driver is available for this device, you should use it instead of the native driver
[    8.992246] lpc_ich: Resource conflict(s) found affecting gpio_ich
That kernel is actually running a Debian and a Gentoo
 (2014-10-03T18:05:38+00:00)