http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59644
--- Comment #18 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to Markus Trippelsdorf from comment #17) > If I add "pushq %r10" and "popq %r10" by hand, the kernel boots fine. Is r10 used in th function? Please also try adjust stack instead of push/pop.