x86: Add coreboot timestamps