TX2 not booting up with HDMI connected

A last observation…

I couldn’t find anything on the documentation about that little jumper placed on my board, between the power button and the rec button. I noticed it yesterday. I have attached a picture of my board with that jumper. I’m asking because I do not see it in other online photo of the dev board. Is it supposed to be here at all?