https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119386
--- Comment #33 from Franz Sirl <sirl at gcc dot gnu.org> --- Yes, that works. Now the only question remains whether PLT or GOT is the right thing to do for mcount. I still wonder if there is too much guessing going on here and if reusing common flags is the right thing to do for the kernel. Shouldn't there be a separate flag like -pk or -mcmodel=kernel-pic?
