Re: [PATCH v2 2/8] lib: vdso: Build 32 bit specific functions in the right context