In the p3768-A04 schematic version on the USB Type C recovery port a switch(AP22811AW5) Ic is controlled to sink the power from USB Type C, and this switch is controlled by an USB C controller(FUSB301TMX). So as given in data sheet of AP22811AW5 has maximum voltage input of 5.5V to switch, and in USB Type C there can be voltage on VBUS greater then 5.5V and this switch is gonna connect VBUS to the VDD_5V_SYS. So in that case wont it make an problem.
Am i understanding it correctly or is there something else which figures this situation out.