but unconfigured (or unsupported) devices printed at boot time. The device list is woefully incomplete, because i didn't put much time in it, and because i don't know good "human names" for many TC devices.
