/* intel_hdmi.c */