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