cec-config: always set the hdmi port number and device, or v1.4- clients won't work...
[deb_libcec.git] / driver /
drwxr-xr-x   ..
-rw-r--r-- 2131 p8usb-cec.inf