tweak project settings, add patched versions of Kernel headers

the patched kernel headers are to try to enable building ppc64; so far
compiling works, but NOT linking, so keep ppc64 out of the actual build
target for now (it is still in the overall project though)