linux-zen-server/arch/x86/entry/vdso/vdso32-setup.o