Kernel.org: 5.1.4
sid (unstable): 4.19.37-3
buster (testing): 4.19.37-3
stretch (stable): 4.9.168-1+deb9u2
jessie (oldstable): 3.16.64-2

Debian GNU/Linux device driver check & report

ASUS: F3Ja

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