http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59009
--- Comment #2 from Evgeniy Stepanov <eugeni.stepanov at gmail dot com> --- As discussed in a email thread on gcc-patches, we will probably move away from including kernel headers and just define all the types in our code.
