diff --git a/src/mainboard/starlabs/labtop/smbios.c b/src/mainboard/starlabs/labtop/smbios.c
index b787986f9b..22f3ad3de5 100644
--- a/src/mainboard/starlabs/labtop/smbios.c
+++ b/src/mainboard/starlabs/labtop/smbios.c
@@ -4,7 +4,6 @@
 #include <device/device.h>
 #include <device/pci_def.h>
 #include <ec/starlabs/merlin/ec.h>
-#include <option.h>
 #include <smbios.h>
 #include <types.h>
 #include <uuid.h>
diff --git a/src/mainboard/starlabs/lite/mainboard.c b/src/mainboard/starlabs/lite/mainboard.c
index 60e65ee8c4..04537094d0 100644
--- a/src/mainboard/starlabs/lite/mainboard.c
+++ b/src/mainboard/starlabs/lite/mainboard.c
@@ -2,7 +2,6 @@
 
 #include <device/device.h>
 #include <soc/ramstage.h>
-#include <option.h>
 #include <variants.h>
 
 static void init_mainboard(void *chip_info)
diff --git a/src/mainboard/starlabs/lite/smbios.c b/src/mainboard/starlabs/lite/smbios.c
index 7894ebb1c7..3eaaf3a416 100644
--- a/src/mainboard/starlabs/lite/smbios.c
+++ b/src/mainboard/starlabs/lite/smbios.c
@@ -4,7 +4,6 @@
 #include <device/device.h>
 #include <device/pci_def.h>
 #include <ec/starlabs/merlin/ec.h>
-#include <option.h>
 #include <smbios.h>
 #include <types.h>
 #include <uuid.h>