Kernel.org: 5.1.12
sid (unstable): 4.19.37-4
buster (testing): 4.19.37-3
stretch (stable): 4.9.168-1+deb9u3
jessie (oldstable): 3.16.68-2

Debian GNU/Linux device driver check & report

-assembled: 1002:9712

PCI IDWorks?VendorDeviceDriverKernel
10029712YesAdvanced Micro Devices, Inc. [AMD/ATI]RS880M [Mobility Radeon HD 4225/4250]radeonv2.6.35-