re-enable vdso clock_gettime on arm (32-bit) with workaround
[musl] / crt / crtn.c