I think I solved the time problem.
Raspbian has to use the PSI time servers, while OpenElec works without them  (as aked a long time ago on http://raspberrypi.stackexchange.com/q/5471)