Kernel.org: 4.4.1
sid (unstable): 4.3.5-1
stretch (testing): 4.3.5-1
jessie (stable): 3.16.7-ckt20-1+deb8u3
wheezy-bpo: 3.16.7-ckt20-1+deb8u3~bpo70+1
wheezy (oldstable): 3.2.73-2+deb7u2

Debian GNU/Linux device driver check & report

-assembled: alienware

PCI IDWorks?VendorDeviceDriverKernel
10024390YesAdvanced Micro Devices, Inc. [AMD/ATI]SB7x0/SB8x0/SB9x0 SATA Controller [IDE mode]ahciv2.6.25-