> The attached patch should solve it, while avoiding a rebuild on other
> architectures:

I applied the patch, then ran 'make', but it failed with the same error.

By the way, I've been told that 3.5 and 3.6 versions (not sure about the
latest) of the kernel are broken.  Does it affect the headers too?
Should I try to build an older version of headers?

Nikita