Re: [coreboot] Timestamp