[coreboot-gerrit] Patch merged into coreboot/master: d653ae8 coreboot arm: Define function for setting cntfrq register