libcec: make it work with raspberrypi