../libarmbox/hdmi_cec.h