Well, I downloaded the latest stable 3.9.6 kernel from www.kernel.org and applied the patch. Apparently my system didn't like the new kernel because it broke my X. I'm just not going to worry about this one for now. Thanks for the assistance.