(_libc_vdso_platform_setup): Mangle function pointers before storing them.