Re: Kernel build fails with error in header file. Looks like typo.