John, what gcc version, and what optimization level do you use when
compiling your kernel.  There have been gcc version that has failed to
generate correct kernels.  If you don't use the system supplied, try
that one.

Niklas