I'm a little bit confused. I have tried almost all distributions i've found, and some kernels are compiled without HDMI-cec support, some (LibreElec) could detect HDMI-CEC but it does not function properly. (cec_transmit always returns ENONET). I'm not familiar with CEC, so i'm searching for working...