[coreboot-gerrit] New patch to review for coreboot: 7babeb1 timestamp: provide weak default implementation of timestamp_get