Gracias Melted
Las he probado y funcionan sin problemas. Instalé la animación de inicio Honeycomb y veo que se pueden instalar animaciones personalizadas, supongo que basta con sustituir en el bootanimation.zip la secuencia de PNGs por otros con la misma resolución de 512 x 256 px ¿es así?