diff --git a/src/mainboard/lenovo/haswell/variants/w541/romstage.c b/src/mainboard/lenovo/haswell/variants/w541/romstage.c
index 4a189d42b8..a410f56201 100644
--- a/src/mainboard/lenovo/haswell/variants/w541/romstage.c
+++ b/src/mainboard/lenovo/haswell/variants/w541/romstage.c
@@ -4,7 +4,6 @@
 #include <northbridge/intel/haswell/haswell.h>
 #include <northbridge/intel/haswell/raminit.h>
 #include <southbridge/intel/lynxpoint/pch.h>
-#include <option.h>
 #include <ec/lenovo/pmh7/pmh7.h>
 #include <device/pci_ops.h>
 
diff --git a/src/mainboard/starlabs/starbook/variants/kbl/romstage.c b/src/mainboard/starlabs/starbook/variants/kbl/romstage.c
index d1e928eb1a..30d7c14ef5 100644
--- a/src/mainboard/starlabs/starbook/variants/kbl/romstage.c
+++ b/src/mainboard/starlabs/starbook/variants/kbl/romstage.c
@@ -1,6 +1,5 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <option.h>
 #include <soc/romstage.h>
 #include <spd_bin.h>
 #include <string.h>