re-enable vdso clock_gettime on arm (32-bit) with workaround
[musl] / crt / Scrt1.c
1 #include "crt1.c"