\r
#include "PlatformBootManager.h"\r
#include "PlatformConsole.h"\r
+#include <Guid/SerialPortLibVendor.h>\r
\r
#define PCI_DEVICE_PATH_NODE(Func, Dev) \\r
{ \\r
(UINT8) ((sizeof (VENDOR_DEVICE_PATH)) >> 8) \\r
} \\r
}, \\r
- {0xD3987D4B, 0x971A, 0x435F, {0x8C, 0xAF, 0x49, 0x67, 0xEB, 0x62, 0x72, 0x41}} \\r
+ EDKII_SERIAL_PORT_LIB_VENDOR_GUID \\r
}\r
\r
#define gUart \\r