[coreboot-gerrit] Patch merged into coreboot/master: 25ae602 rambi: switch MCLK from 19.2Mhz to 25Mhz