What happens is that the movie freezes for about 10 seconds, then the screen goes dark and after some more seconds there is a reboot. This seems to happen only with some HD movies, I haven't noticed it yet with DVD quality movies. Other HD files play ok. Got the Kodi logfile : http://ix.io/2lnO
My knowledge of Libreelec is slim, so I hope somebody can point me in the right direction.
Thanks.