remove arm (32-bit) support for vdso clock_gettime