added new vki-gnu.h
fixes in vki-gnu.h