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