[coreboot] Re: teensy_debugdev: Can we make this USB EHCI debug jig work?