[aseidl]

If anyone else is interested, it sounds like HDMI-CEC should be working within the next week or so.

http://forum.odroid.com/viewtopic.php?f=61&t=7479#p58825