Geert Uytterhoeven wrote:

powerpc randconfig

Doesn't this generate a different .config every time it's run?  Do I keep
generating random .config files until the problem shows up?

-- 
Timur Tabi
Linux kernel developer at Freescale