[coreboot-gerrit] Patch merged into coreboot/master: c883fdc exynox5420: Remove the 5250 clock registers and fix the SPI frequency.