[coreboot-gerrit] Patch merged into coreboot/master: 7538937 rambi: export SPI write-protect GPIO correctly