Using TEBF0808 as a reference I noticed that the the DPAUX signals (OE, HPD, AUX_IN, AUX_OUT) are routed to one of the CPLDs. I'm assuming this is because these signals are 3.3V and the CPLD is essentially serving as a level shifter to 1.8V since all MIO are 1.8V on the carrier. Would it be appropriate to use a SN74A type level shifter instead? Should I remove the resistors (R40, R41) from HPD? Any other considerations? Thank you.