Re: [PATCH 20/34] x86: coreboot: Sync up timestamp codes