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