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