[PATCH] drm/sti: Use 64-bit timestamps