x86, mm: Improve _install_special_mapping and fix x86 vdso naming