CONFIG_HAVE_GENERIC_VDSO=y
