[15:11] <penguin42> where does the debian/scripts/misc/kernelconfig file come from - or more specifically where to report a trivial bug in it?    It's Usage: info is wrong
[15:51] <penguin42> there's a lot of ARM device drivers built on the x86 kernel builds