HTC publica lista de equipos a ser actualizados a Android 4.0