Nooo, I did met with this problem in the past, patching binaries with marvin's utility wont really help. I think that, the problem comes from the kernel's cache. What he should do is to clear the cache with apps like OnyX. Then unhide everything with apps like "Hide and Seek", delete every kernel meaning: the mach_kernel, the legacy_kernel and the legacy_kernel.old from your root directory; meaning your HD. Then make sure to install Nawcom's 10.7 kernel before restarting. For Safari you will have to run it in 32-bit mode or else the streaming of videos will make it crash, even me I have to.

That would be of great help if I know, in which way he did the set-up, whether mine or his own???