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