That instruction patcher was designed by me.
You don't need to patch the kernel with it, you can use it to patch /usr/lib/libSystem.B.dylib and any other binaries (containing cpuid's).
From within terminal (install amd_insn_patcher from folder to /usr/bin first) you can use it like this:
amd_insn_patcher <input_file> <output_file>
mv <ouput_file> <input_file>
-> First command makes a patched version (output file is only created if instructions to patch are found) and the second command replaces the original file with the patched file.
amd_insn_patcher_ext is the same but with some extensions for patching up some SSE3 instructions to their SSE2 variants.
Hope this helps you...
Oh yeah, forgot to mention: after patching libSystem.B.dylib you need to update prebinding by running following command:
sudo update_dyld_shared_cache