Hello,
I found another way to get a good video player able to play fluently video and all possible audio (AC-3, EAC-3, DTS, DTS-HD, Dolby True HD). It's another fork I think, but with a big improvement on the player...
http://fr.vidon.me/vidon_xbmc.htm
last version, a little bit old but so much better than KODI to play movie HD :
http://forum.vidon.me/index.php?/topic/1783-vidon-xbmc-1610/
The Formuler TV developer team should work with these guys and stop to pre-install KODI on all the Formuler...