on a custom board I use the pin SSP0_DATA4__GPIO_2_4 as a reset pin for some external devices. For this purpose the bootloader (U-Boot) initializes this pin as output with level '0'.
Checking with a scope showed that the pin is pulled high right from the start for about 400 ms and the gets low as soon as U-Boot kicks in.
I know that this pin can belong to the SD card interface. But my board boots from SPI NOR.
Could it be that the boot ROM initializes any possible boot interfaces and then checks the bootstrapping pins which one it should actually use?