[coreboot-gerrit] Patch set updated for coreboot: 6dc7371 ipq8064: modify SPI controller driver to work in coreboot