re-enable vdso clock_gettime on arm (32-bit) with workaround
[musl] / arch / mipsn32 / arch.mak
1 COMPAT_SRC_DIRS = compat/time32