I tried out some of the patched kernels in the pacman repos, and they worked fine. But when I tried re-installing the nvidia drivers it complained about the kernels being compiled with the wrong gcc version. I am currently compiling the -cko2-patched kernel by hand, but still, it would be nice to know how to go about if I wanted this to work, binary style.
Are you using gcc 4 from testing? I had the same problem. I had to go back to gcc 3.4 to get nvidia installed.
Been here for a while ( I once changed pacman to use the testing archives which got me gcc4, I since removed testing ) -- this really confused things for me.
My initial "fix" was to temporarily hack the
<linux-kernel-source>/include/linux/vermagic.h file, changing the last line of VERMAGIC_STRING so that the string read gcc-3.4 directly
Now I just build my own kernel, then whatever you install/build nvidia with will match the kernel.
Don't listen to any scare stories about rebuilding a kernel, it's trivial after the first couple of times.