Kernel.org: 5.0.9
sid (unstable): 4.19.28-2
buster (testing): 4.19.28-2
stretch (stable): 4.9.144-3
jessie (oldstable): 3.16.64-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