re-enable vdso clock_gettime on arm (32-bit) with workaround
[musl] / crt / or1k /
drwxr-xr-x   ..
-rw-r--r-- 141 crti.s
-rw-r--r-- 115 crtn.s