[coreboot-gerrit] Patch set updated for coreboot: af4fd6b SPI controller base address gets overwritten by SD controller under Linux