The text 02d5bf049dc2, as Debian 9 (Stretch) shipped it.
PCI SD Host Controller bridge driver
sdhci(4freebsd) on Linux now