http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59644
--- Comment #19 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Markus Trippelsdorf from comment #17) > If I add "pushq %r10" and "popq %r10" by hand, the kernel boots fine. Thanks. Now, can you please try to use pushq %r9 and popq %r9 instead? I.e. whether this is about the stack pointer or whether something is really upset about the %r10 call clobbered value changing in printk?
