Las ROM original europea la bajé de Samfirmware / Sammobile, como mencionan arriba. En XDA está toda la info a nada que leas algo de inglés.
El Kernel de serie lo bajé de la página de Pershoot de donde se pueden bajar sus kernel personalizados.
Yo con el HC3.1 task650 In Paris v5 estoy encantado y hasta que no porte el 3.2 europeo no actualizaré su Task650 Galaxy HC3.2.
