[PATCH 3/3] x86: coreboot: Enable receiving timestamps from coreboot