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