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