sid (unstable): 5.3.9-2
buster (testing): 4.19.67-2+deb10u2
stretch (stable): 4.9.189-3+deb9u2
jessie (oldstable): 3.16.76-1

Debian GNU/Linux device driver check & report

Lenovo: s51p

PCI IDWorks?VendorDeviceDriverKernel
80860a04Intel CorporationHaswell-ULT DRAM Controller
80860a16Intel CorporationHaswell-ULT Integrated Graphics Controller
80860a0cIntel CorporationHaswell-ULT HD Audio Controller
80869c31Intel Corporation8 Series USB xHCI HC
80869c3aIntel Corporation8 Series HECI #0
80869c20Intel Corporation8 Series HD Audio Controller
80869c10Intel Corporation8 Series PCI Express Root Port 1
80869c14Intel Corporation8 Series PCI Express Root Port 3
80869c16Intel Corporation8 Series PCI Express Root Port 4
80869c26Intel Corporation8 Series USB EHCI #1
80869c43Intel Corporation8 Series LPC Controller
80869c03Intel Corporation8 Series SATA Controller 1 [AHCI mode]
80869c22YesIntel Corporation8 Series SMBus Controlleri2c-i801
168c0036Qualcomm AtherosQCA9565 / AR9565 Wireless Network Adapter
196910a0Qualcomm AtherosQCA8172 Fast Ethernet

everything works out of the box with debian testing/unstable (kernel 3.14-rc7-amd64). Bluetooh needs firmware package to be installed! (2014-03-23T05:14:56+00:00)