use elfnote.h to generate vsyscall notes.