nolibc: add asm barriers for x86_64 architecture

... following example from linux/Documentation/vDSO/vdso_test.c
linux_examples: add extract_vdso.py to extract the vDSO
linux_examples: add a simple program to read vDSO symbols