Vuoi provare a installare il CoCore 9... e 9 mi sembra un tantino più grande di 4.1... quindi direi che quello che hai adesso non è quello più recente.
Le versioni di CoCore nel primo post sono solo per Jelly Bean... è scritto nel titolo...
Ti consiglio di passare a Jelly Bean, mal che vada puoi sempre tornare a Gingerbread seguendo le apposite guide...