Kernel.org: 4.20.11
sid (unstable): 4.19.20-1
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

IBM: 510E

PCI IDWorks?VendorDeviceDriverKernel
80861235Intel Corporation430MX - 82437MX Mob. System Ctrlr (MTSC) & 82438MX Data Path (MTDP)
80861234YesIntel Corporation430MX - 82371MX Mobile PCI I/O IDE Xcelerator (MPIIX)pata_mpiixv2.6.25-
10239660YesTrident MicrosystemsTGUI 9660/938x/968xtridentfbv2.6.25-
10131100YesCirrus LogicCL 6729pd6729v2.6.25-