Changes to source to support RPi CEC