Re: [SeaBIOS] [patch v2] sdcard: skip detection of PCI sdhci controllers if etc/sdcard used