[PATCH] i386: Fix broken CONFIG_COMPAT_VDSO on i386