HAT Connector GPIO mapping to SoC GPIO for LPSS UART1

aaronjin

This is a question for UP Squared board. Anyone knows the SoC GPIO pin numbers to route LPSS UART1 to 40-pin HAT connector (pin 8 and 10). There is CPLD in between HAT connector and SoC.