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

Samsung: NP470R5E-K01UB

PCI IDWorks?VendorDeviceDriverKernel
80860154Intel Corporation3rd Gen Core processor DRAM Controller