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