[PATCH v2 4/5] nds32: Fix vDSO clock_getres()