Please point us to an exact kernel binary (e.g. precise Fedora rpm version)
and PC to try in it. Note that a handy test program for this is built in
systemtap, called "loc2c-test". (That's what I'll likely use to debug
the
case myself.)
Thanks,
Roland