add some elf constants to kernel_abi.h
convert __kernel_vsyscall monkeypatching to read ELF information