x86: don't bother printing compat vdso address