Re: [PATCH 2/3] x86: coreboot: Add timestamps from coreboot to bootstage