re-enable vdso clock_gettime on arm (32-bit) with workaround
[musl] / arch / i386 / arch.mak
2019-11-02 Rich Felkerswitch all existing 32-bit archs to 64-bit time_t