[coreboot-gerrit] Patch merged into coreboot/master: 74aa777 soc/ipq806x: Replace GPT with fine grained DGT timer.