[coreboot-gerrit] Patch merged into coreboot/master: dffd892 ipq8064: modify SPI controller driver to work in coreboot