x86, vdso: Fix the symbol versions on the 32-bit vDSO