[PATCH] i386: Now that the VDSO can be relocated, we can support it in VMI configurat...