[coreboot] Read and publish firmware time stamps and boot time (was: [systemd-devel] bootloader time on a non-EFI bootloader)