I've just fixed some minor annoyances in the kernel Makefiles.  They do,
however, require that you rerun config.

This is just a heads up... let me know if you encounter any problems.

Jason R. Thorpe                                       thorpej@nas.nasa.gov
NASA Ames Research Center                            Home: +1 408 866 1912
NAS: M/S 258-6                                       Work: +1 650 604 0935
Moffett Field, CA 94035                             Pager: +1 415 428 6939