Kernel.org: 5.0.3
sid (unstable): 4.19.28-2
buster (testing): 4.19.16-1
stretch (stable): 4.9.144-3
jessie (oldstable): 3.16.59-1

Debian GNU/Linux device driver check & report

Samsung: 400B5B

PCI IDWorks?VendorDeviceDriverKernel
80860101Intel CorporationXeon E3-1200/2nd Generation Core Processor Family PCI Express Root Port
80860116YesIntel Corporation2nd Generation Core Processor Family Integrated Graphics Controlleri915v2.6.38-
80861c3aIntel Corporation6 Series/C200 Series Chipset Family MEI Controller #1
80861503YesIntel Corporation82579V Gigabit Network Connectione1000ev2.6.38-
80861c2dIntel Corporation6 Series/C200 Series Chipset Family USB Enhanced Host Controller #2
80861c20YesIntel Corporation6 Series/C200 Series Chipset Family High Definition Audio Controllersnd-hda-intel
80861c10Intel Corporation6 Series/C200 Series Chipset Family PCI Express Root Port 1
80861c16Intel Corporation6 Series/C200 Series Chipset Family PCI Express Root Port 4
80861c18Intel Corporation6 Series/C200 Series Chipset Family PCI Express Root Port 5
80861c1eIntel Corporation6 Series/C200 Series Chipset Family PCI Express Root Port 8
80861c26Intel Corporation6 Series/C200 Series Chipset Family USB Enhanced Host Controller #1
80861c49YesIntel CorporationHM65 Express Chipset Family LPC ControlleriTCO_wdt
80861c03YesIntel Corporation6 Series/C200 Series Chipset Family 6 port SATA AHCI Controllerahci
80861c22YesIntel Corporation6 Series/C200 Series Chipset Family SMBus Controlleri2c-i801
80860091YesIntel CorporationCentrino Advanced-N 6230 [Rainbow Peak]iwlwifiv2.6.38-
10330194NEC CorporationuPD720200 USB 3.0 Host Controller
10ec5209YesRealtek Semiconductor Co., Ltd.RTS5209 PCI Express Card Readerrts_pstor
10ec5209YesRealtek Semiconductor Co., Ltd.RTS5209 PCI Express Card Readerrts_pstor

Working fine. (2015-06-07T10:07:48+00:00)