misc improvements for linux: type comparison ignores some attrs. kmalloc is recognized. string literals are pulled out into temporaries.
misc improvements for linux:
type comparison ignores some attrs.
kmalloc is recognized.
string literals are pulled out into temporaries.

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