Re: [PATCH 19/34] x86: Move coreboot timestamp info into coreboot_tables.h