[coreboot-gerrit] Patch set updated for coreboot: 5fa4a23 libpayload: pistachio: fix timer implementation