re-enable vdso clock_gettime on arm (32-bit) with workaround
[musl] / VERSION
1 1.2.3