I have solved the problem with kernel builds under 4.1.2. For reasons
that remain obscure (and that I will not further pursue) it seems that
the problem occurs only if I use gnu make: if /usr/bin/make is used the
symbols are found.
No one suggested this solution: I ran across it when I found that
I *could* build without difficulty in single user mode.
My thanks to all who replied with helpful suggestions,
This archive was generated by hypermail 2.1.2 : Fri Sep 28 2001 - 23:06:48 CDT