re-enable vdso clock_gettime on arm (32-bit) with workaround
[musl] / arch / generic /
drwxr-xr-x   ..
drwxr-xr-x - bits
-rw-r--r-- 0 fp_arch.h