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

[musl] / src / string / wcscat.c

#include <wchar.h>

wchar_t *wcscat(wchar_t *restrict dest, const wchar_t *restrict src)
{
        wcscpy(dest + wcslen(dest), src);
        return dest;
}