#include "../vdso32/note.S"