[coreboot-gerrit] Patch merged into coreboot/master: armv7/arm64: remove timestamp.c