[coreboot-gerrit] Patch set updated for coreboot: 3332677 pistachio: implement timer support