Does the current baytrail fsp coreboot code support SD/uSD card interface?
Is anybody able to get it to work on Bayley Bay CRB? It does not seem to
work on our CRB. We checked the SD3_PWREN signal, it always remains high and
therefore the SD card doesn't get any power.