[PATCH] powerpc: Merge vdso's and add vdso support to 32 bits kernel