I did have kernel-source installed. The problem was that I had left off "--with-linux-kernel-headers=/usr/src/linux" when I ran configure. I am somewhat embarassed that it was so simple. That shouldn't be necessary. Do you know why it failed? Did it find a different set of kernel sources?