Thanks a lot Rakia, I forgot that I read that part as well.
I tried looking for /proc/sys/vm/vdso_enabled and /proc/sys/kernel/vdso files but there were no such files. Is there any particular reason why I cannot see those files? How can I check if VDSO is enabled now?