[coreboot-gerrit] Patch merged into coreboot/master: dbe5756 arm64: Add timestamp.c to bootblock and verstage