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

[musl] / src / math / lroundl.c

#include <math.h>

long lroundl(long double x)
{
        return roundl(x);
}