A mi no me ha pasado eso que cuentas con mi CyanoGen deade la 4.01 a la 4.02, creo que se debe a que los datos o la cache de Market los tengo en la sdcard, los pase hace tiempo por medio de una aplicación TA Utility que mueve la cache de varios programas a la sdcard.