On 09/09/2014 06:05 PM, pins...@gmail.com wrote: > I have a patch which I need to submit. Maybe by Friday I will do that. It > fixes the kernel on arm64 but it is generic c front-end patch.
https://gcc.gnu.org/ml/gcc-patches/2014-09/msg01146.html fixed kernel miscompilation for me. The second issue, module section related one, seems to be unrelated.
