diff --git a/moorefield_hdmi/Android.mk b/moorefield_hdmi/Android.mk
index 0eb4900..ab31dc4 100644
--- a/moorefield_hdmi/Android.mk
+++ b/moorefield_hdmi/Android.mk
@@ -98,6 +98,10 @@
     $(TARGET_OUT_HEADERS)/libttm \
     frameworks/native/include/media/openmax
 
+# Use the frozen version of ion.h.
+LOCAL_C_INCLUDES += \
+    $(TOP)/system/core/libion/kernel-headers \
+
 ifeq ($(TARGET_SUPPORT_HDMI_PRIMARY),true)
    LOCAL_CFLAGS += -DINTEL_SUPPORT_HDMI_PRIMARY
 endif