$ dmesg | grep -i SDHCI [ 1.237764] sdhci: Secure Digital Host Controller Interface driver [ 1.237770] sdhci: Copyright(c) Pierre Ossman [ 1.263087] sdhci-pci 0000:00:12.0: SDHCI controller found [8086:2296] (rev 21) [ 1.263442] sdhci-pci 0000:00:12.0: failed to setup card detect gpio [ 1.264537] sdhci-pci 0000:00:12.0: No vmmc regulator found [ 1.264543] sdhci-pci 0000:00:12.0: No vqmmc regulator found [ 1.268300] mmc0: SDHCI controller on PCI [0000:00:12.0] using ADMA
- Bug#797949: CONFIG_PINCTRL_* also needed for Braswell NUCs ... gigo
- Bug#797949: reformatted `dmesg | grep -i SDHCI` proper... Geert Stappers