Hola, par eso que mencionas , necesitas particionar tu memoria y utilizar el app2sdgui,
no tenemos ics stock ni lo tendremos segun samsung, si recomendaria una rom que es buena y sin lags seria el ics sunday o la ginger real
o de plano que te flashies la rom ks9 es la mas estable que he probado.