Customer is using F28379D control card, and wants to use SCI boot mode by switching the default boot mode pins GPIO72 and GPIO84. However, the default GPIO for SCI Boot is GPIO84 and GPIO85 for SCITXDA and SCIRXDA, respectively. Is there any issue for GPIO84? I am not sure whether the GPIO84=1 is weak pullup or not, if so, it can be configured to work as SCITXDA after boot process?