Ahora he revisado dos hojas de datos y manuales de usuario en busca de dos microcontroladores diferentes (LPC2387 y STM32F4xx), y no he encontrado (probablemente faltó) ningún lugar donde se describiera el estado inicial de los pines GPIO en el encendido o después del reinicio.
Mi pregunta no es específica para estas MCU, pero en general, ¿es más común que los pines GPIO se inicialicen como entrada flotante (alto-z) al reiniciarse? ¿Existe una convención estándar, o diferentes MCU hacen cosas diferentes, y uno necesita leer la hoja de datos / manual para cada MCU con el que se trabaja?