[coreboot-gerrit] Patch set updated for coreboot: 9291f1c ARM romstages: Support and fix COLLECT_TIMESTAMPS