Re: Kernel build crapped out

[Michael Schmitz]

> Is this something that should be submitted to the Linux Kernel mailing list 
> to be fixed by the next kernel prerelease?

Sure, go ahead. Adding a patch that fixes the problem would probably
simplify things a lot. 

        Michael