[coreboot] Re: [RFC] Logging boot_state times