Comment # 6 on bug 1166406 from Jeff Mahoney

I can't imagine what utility those tools could have.  vmlinux should have the
debuginfo stripped out.