diff --git a/src/include/edid.h b/src/include/edid.h
index 43e6883796..d3cab17f49 100644
--- a/src/include/edid.h
+++ b/src/include/edid.h
@@ -87,6 +87,8 @@ struct edid {
 	u32 x_resolution;
 	u32 y_resolution;
 	u32 bytes_per_line;
+
+	int hdmi_monitor_detected;
 };
 
 /* Defined in src/lib/edid.c */
diff --git a/src/lib/edid.c b/src/lib/edid.c
index d0056788a3..0f5643d3cc 100644
--- a/src/lib/edid.c
+++ b/src/lib/edid.c
@@ -657,6 +657,8 @@ cea_hdmi_block(struct edid *out, unsigned char *x)
 {
 	int length = x[0] & 0x1f;
 
+	out->hdmi_monitor_detected = 1;
+
 	printk(BIOS_SPEW, " (HDMI)\n");
 	printk(BIOS_SPEW,
 	       "    Source physical address %d.%d.%d.%d\n",