CEC doesn't work on RPI when TV has been rebooted, due to outdated libcec