I'm using the Minnowboard Turbot. When debug info is enabled, by default, UEFI core prints log info to defaul serial console(0x3F8) in booting phase. I'm also trying to boot this UEFI image on my own custom board but there's no such serial port available. So my question is, is it possible to redirect these debug log to high speed UART1/2 in booting phase? I suppose this is controlled by the UEFI core code ? Is it configurable for user and how to? Big thanks.