Hi JorgeCas:
Here is the schematic diagram for these pins, only intended for regular GPIO use.

During the U-Boot stage, I disabled HDMI, I2C, and CAN functionalities associated with this pin in the device tree. However, these four pins still generate a high pulse, as if this pulse was generated during the SPL stage.
I attempted to disable some I2C and GPIO-related functionalities in the defconfig file, but it seems to have no effect. I also tried to disable the GPIO through registers in the board_f.c file, but it appears that the pulse is generated even earlier in time.