HDMI HPD and Power Switch enable sequence on Jetson TX2

Hello,
I am working on HDMI part of schematics on custom carrier and i have some doubts this part would work as expected:


It assumes that 5V_HDMI_EN goes high during the Jetson TX2’s boot sequence before it detects HPD signal from the HDMI connector. 5V_HDMI_EN source is TCA9539 I2C Gpio Expander 7’h74, same as on DevKit p2597.

Is it expected behavior for Jetson TX2 / p2597 DevKit with default device-tree to set HDMI 5V first and wait for HPD?
I would be glad for advice.

Is it expected behavior for Jetson TX2 / p2597 DevKit with default device-tree to set HDMI 5V first and wait for HPD?

yes