gcc fix for sys/kernel.h

Hello, for some reason gcc isn’t installing correctly, so the ‘fix’ gcc
makes to kernel.h isn’t being done correctly. I’ve tried a few different
versions, but none seem to be working. Before I go about my merry way
hacking the header to death, does anyone have any suggestions?