[coreboot-gerrit] New patch to review for coreboot: 05967e9 rambi: configure SD card signals