Kernel.org: , 
sid (unstable): 3.9.6-1
wheezy (testing): 3.2.46-1
kmuto bpo d-i: 
squeeze-bpo: 3.2.41-2+deb7u2~bpo60+1
squeeze (stable): 
lenny (oldstable): 

Debian GNU/Linux device driver check & report

HP: Laptop Elitebook 8440P

PCI IDWorks?VendorDeviceDriverKernel
11800822YesRicoh Co LtdR5C822 SD/SDIO/MMC/MS/MSPro Host Adaptersdhci-pciv2.6.25-