tile: add clock_gettime support to vDSO