La verdad es que se podria leer la memoria i2c a traves del jtag, utilizando el controlador integrado en la cpu... pero el problema es que no tengo ni la más remota idea de como funciona ese controlador, y como ya sabeis la documentación brilla por su ausencia.
De todos modos, el kernel de linux tiene soporte para el STB02500, el hermano mayor de nuestro STB01001, y es probable que tenga un driver para el i2c.
De hecho, muchas de las cosas que he averiguado sobre el core de nuestro deco las he sacado comparando el código de arranque del deco y el código de linux.
El STB02500 no es exactamente igual que el STB01001, digamos que un 75%, pero hay cosas que son casi igual.
Pues eso, que veré a ver si me entero de como funciona el i2c, y a ver si puedo hacer un dumper para la EEPROM i2c... pero no prometo nada, como siempre

Saludos.