[coreboot-gerrit] Patch set updated for coreboot: d59e6d7 rambi: change SD card pulls to 20K