(And I also unplugged and replugged.) If I do those debug commands on the normally booted system and then unplug and replug devices, I see a *lot* of debugging information in dmesg.