codegen-i386-linux: use vdso interface