Kernel.org: 5.2.9
sid (unstable): 5.2.9-2
buster (testing): 4.19.37-5+deb10u2
stretch (stable): 4.9.168-1+deb9u5
jessie (oldstable): 3.16.72-1

Debian GNU/Linux device driver check & report

DELL: Mobile 4 Series Chipset Integrated Graphics Controller

PCI IDWorks?VendorDeviceDriverKernel
80862a42YesIntel CorporationMobile 4 Series Chipset Integrated Graphics Controlleri915v2.6.32-