10.10ではmach_kernelの場所と名前が変わったらしい
10.10 /System/Library/Kernels/kernel
10.9以前 /mach_kernel
CCCが10.9以前の想定で、全体コピーは終わって最後に忠告してる程度なら、試しに起動してみればいいんじゃない