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: r40

PCI IDWorks?VendorDeviceDriverKernel
10025a62YesAdvanced Micro Devices, Inc. [AMD/ATI]RC410M [Mobility Radeon Xpress 200M]radeonfb