Add an OSX specific patch to make the kernel be compiled