[coreboot-gerrit] Patch set updated for coreboot: 9728da5 rambi: configure SD card signals