I have a board with some hardware attached to GPIO13. I notice that the GPIO13 line is driven low for about 20ms, before any of my code (including the in-flash bootloader) has a chance to run. This behaviour is not documented anywhere. Is this normal? Can this be disabled anyhow? I've burned the DIS...