Re: [PATCH 09/17] x86: coreboot: Show the BIOS date