Re: [coreboot] [syslinux] Read and publish firmware time stamps and boot time