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

[musl] / src / network / res_init.c

#include <resolv.h>

int res_init()
{
        return 0;
}