el formato no importa pues hay que removerle el formato al subirlo al telefono,
la imagen splash no debe ser animada, las imagenes SHUTDOWN_IMAGE_SEMC y STARTUP_IMAGE_SEMC ,pueden ser gifs (debes removerle el formato tbm), siempre antes quitale la repeticion infinita con un editor de gifs o la animacion va a demorar mucho en terminar.
saludos