[MinnowBoard] Using HS UARTs in UEFI

[Eric Wittmayer]

Hi,
  I'd like to use one of the high speed serial ports on the Minnowboard Max
as either a terminal or as the debugger connection in EDK2 (UEFI).  Is that
possible if so can anyone tell me how to get that working.

Thanks,
  Eric W