C-style comments aren't legal in awk (except in gawk, apparently).
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.