libcec misses RPi support

Hi,

after searching for years information on how to get6 cec working in my RPi, I
just found out that I'm missing the plattform-support. Recompiled by hand and
it works. I didn't check if this can just be added or disables anything else,
maybe a libcec6-rpi....deb will be needed, but it would be great to have this
working out-of-the-box.

--
MfG usw.

Werner Mahr