[coreboot-gerrit] Patch set updated for coreboot: a424fe4 rambi: limit SD card controller to 2.0 spec