Re: [PATCH 1/3] x86: coreboot: Update the timestamp code to use sysinfo