remove arm (32-bit) support for vdso clock_gettime
[musl] / compat /
drwxr-xr-x   ..
drwxr-xr-x - time32