[coreboot-gerrit] Patch set updated for coreboot: d10a876 exynox5420: Remove the 5250 clock registers and fix the SPI frequency.