[coreboot-gerrit] Patch set updated for coreboot: 13a7f70 boot state: track times for each state