I finished the modifications to the kernel.
It now builds for both 32/64bit easily.
The patch is also here, as well as the binaries
Update: I fixed the patcher and updated it to be able to recognize any Intel instruction.
Since we don't have an auto-patching dyld yet, it's only for application binaries + dyld qua patching but it's definitely good progress.
I also created an auto-patching cpuid + sysenter tool which can operate on any Mach-O file, even directly on universal binaries.
There is also an extended tool included for patching certain sse3 instructions along with cpuid + sysenter.
Update (V4): I worked on the patcher so that it can decrypt and patch encrypted binaries (works, shows failures untill DSMOS has arrived though)
Kernel patcher (V3): Updated code to solve minor issues and not to generate output files if there is no patching done
Kernel patcher (V4): Updated code to solve no output file generated on UB if x86_64 part had no patches needed but i386 part did
Update (V5): Fixed CoreSymbolication support and fixed backtraces

Patch (V5):
http://rapidshare.com/files/42308129...ated5.diff.zip

Kernel Binaries (V5):
http://rapidshare.com/files/42308342...0.4.0_rel5.zip

AMD Instruction Patcher (V4):
http://rapidshare.com/files/42192593...patcher_V4.zip