Re: [SeaBIOS] [syslinux] Read and publish firmware time stamps and boot time