I need to customize the TF-A en.SOURCES-tf-a-stm32mp1-openstlinux-4.19-thud-mp1-19-10-09.tar.xzOur custom board have a different pin selection for UART4 debug as you can see below, the UART4_TX pin is not on the STM32_PINMUX('G', 11, AF6), but is on ...