Gracias Alex por tu rápido respuesta.
Ese enlace ya lo había visitado, gracias a el conseguir flashear de nuevo a mi 4.0.4 para que mi dispositivo dejara de estar en bucle al iniciarse.
Por lo tanto, ¿"Flash stock rom GB .42" es simplemente flashear a un ROM oficial GB? y de ser así, ¿dónde puedo conseguir descargarla?. No encuentro ninguna GB oficial en el post de ROMS.