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