re-enable vdso clock_gettime on arm (32-bit) with workaround

[musl] / src / math / nanl.c

#include <math.h>

long double nanl(const char *s)
{
        return NAN;
}