The text 247c18d224c2, as Debian 10 (Buster) shipped it.
PCI SD Host Controller bridge driver
sdhci(4freebsd) on Linux now
