https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66083
--- Comment #3 from Pranith Kumar <bobby.prani at gmail dot com> --- The kernel fails to boot. It works using 4.7/4.8 but 4.9 does not work. Not sure what you mean which file. How do I pin point that?
