Re: [PATCH] gnu: cross-base: Add cross-kernel-headers package for cross-gcc.

[Manolis Ragkousis]

Because a kernel-headers package has more uses than this,
forget this patch. I will send the new patches shortly.