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

[Kevin O'Connor]

On Wed, Mar 16, 2016 at 08:37:35PM -0500, Matt DeVillier wrote:
> Some BayTrail ChromeOS devices have the eMMC controller hidden (thus
> requiring the use of etc/sdcard), while others do not, making it problematic
> to have a single payload which serves all devices properly.   Therefore, if
> the CBFS contains etc/sdcard entries, skip detection of any visible PCI
> sdhci controllers in order to avoid duplicate entries in the boot menu.
> 
> patch implementation suggested by Kevin O'Connor :)
> 
> Signed-off-by: Matt DeVillier <matt.devillier at gmail.com>

Thanks.  This patch got whitespace mangled as well.  However, I
applied the patch after modifying it slightly and updating the
documentation.

-Kevin