[PATCH] x86_64 ia32 vDSO: use install_special_mapping