http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53383
--- Comment #5 from H. Peter Anvin <hpa at zytor dot com> 2012-05-17 16:09:19 UTC --- The point is that the key is -mno-sse, not -mcmodel=kernel.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53383
--- Comment #5 from H. Peter Anvin <hpa at zytor dot com> 2012-05-17 16:09:19 UTC --- The point is that the key is -mno-sse, not -mcmodel=kernel.