Added a patch with a vararg descriptor for the linux prctl() function. IGNORE
Added a patch with a vararg descriptor for the linux prctl() function.
IGNORE

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c