What are patched kernels?
mach_kernel is a special binary file that exists on the root (base) directory of a Mac OS X install DVD. Most patches released currently involve patching the ISO image of this DVD with the various bit-and-byte changes between the original and a more PC compatible version, which in many cases can be then burned, booted, and installed. Previously, and in certain customization procedures, patches (PPF) are applied to the original PC compatible mach_kernel, usually known as mach_kernel.orig. The result is known as a patched kernel.