/* Prints firmware version and build time to serial console.  */
STATIC VOID PrintFirmwareVersion(VOID)
/* Prints firmware version and build time to serial console.  */
STATIC VOID PrintFirmwareVersion(VOID)
{
  CHAR8  Buffer[100];
  UINTN  CharCount;
  CharCount = AsciiSPrint (
                Buffer,
                sizeof (Buffer),
                "UEFI firmware (version %s built at %a on %a)\n\r",
                (CHAR16 *)PcdGetPtr (PcdFirmwareVersionString),
                __TIME__,
                __DATE__
                );
  SerialPortWrite ((UINT8 *)Buffer, CharCount);
}