diff --git a/src/include/edid.h b/src/include/edid.h
index ab4ac342cc..924f0f2d1c 100644
--- a/src/include/edid.h
+++ b/src/include/edid.h
@@ -90,6 +90,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 1594c21a7c..2638d4d386 100644
--- a/src/lib/edid.c
+++ b/src/lib/edid.c
@@ -643,6 +643,8 @@ cea_hdmi_block(struct edid *out, unsigned char *x)
 {
 	int length = x[0] & 0x1f;
 
+	out->hdmi_monitor_detected = true;
+
 	printk(BIOS_SPEW, " (HDMI)\n");
 	printk(BIOS_SPEW,
 	       "    Source physical address %d.%d.%d.%d\n",