Create kern_patcher.c