CONFIG_VDSO=y
