http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53383
--- Comment #2 from H. Peter Anvin <hpa at zytor dot com> 2012-05-17 14:11:23 UTC --- Why would -mcmodel=kernel matter for this? (For the record, there is C code in the Linux kernel which doesn't use -mcmodel=kernel, too, and other embedded programs may very well have the same issue.)