Well,
using "HDMU_18160_OptimussOS2_OE_2987_Flash.zip" has a problem setting the timezone to GMT +2. Athens, Bucharest, etc, does not help at all. However, Jerussalem works fine :=)

Setting manually the /etc/timezone from CET to GMT or UTC does not help at all.