[coreboot-gerrit] Patch merged into coreboot/master: 8ec74a3 libpayload: ipq8064: Add rudimentary timer driver