Según he leído es una rom de archos, pero que están testeandola y que todavía tienen algún problemilla con los omap 4430 en cuanto al audio en hdmi se refiere, para el omap 4460 parece ser que no presenta problema alguno, aún así yo prefiero esperar a instalar una versión final a una en fase de testeo...