Jon Smirl wrote:

I'm getting a "Badness at c01cc228 [verbose debug info unavailable]"

How do I turn on verbose debug support? Or is it helpful? I see the
option for x86 but I don't see how to do it for PowerPC.

Under "Kernel Hacking", enable "Kernel debugging".  This will expose a 
"Verbose BUG() reporting" option.

IMHO, this option shouldn't be buried in this manner; it's not just for 
hacking kernels, but also for submitting decent bug reports.

-Scott