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