From 5885ba822c99512b9b732a69aa1b934f33f442ff Mon Sep 17 00:00:00 2001
From: Elyes HAOUAS <ehaouas@noos.fr>
Date: Sun, 2 Aug 2020 08:32:46 +0200
Subject: [PATCH] src: Remove unused '<option.h>'

Change-Id: Icb79d60e9ec70a0780d5231698b88cff1db72c9b
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/44097
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
---
 src/drivers/pc80/rtc/mc146818rtc.c                   | 1 -
 src/drivers/pc80/rtc/mc146818rtc_boot.c              | 1 -
 src/mainboard/lenovo/t430s/variants/t431s/romstage.c | 1 -
 3 files changed, 3 deletions(-)

diff --git a/src/drivers/pc80/rtc/mc146818rtc.c b/src/drivers/pc80/rtc/mc146818rtc.c
index d58a9993da..21d3c009fa 100644
--- a/src/drivers/pc80/rtc/mc146818rtc.c
+++ b/src/drivers/pc80/rtc/mc146818rtc.c
@@ -6,7 +6,6 @@
 #include <fallback.h>
 #include <version.h>
 #include <console/console.h>
-#include <option.h>
 #include <pc80/mc146818rtc.h>
 #include <rtc.h>
 #include <security/vboot/vbnv.h>
diff --git a/src/drivers/pc80/rtc/mc146818rtc_boot.c b/src/drivers/pc80/rtc/mc146818rtc_boot.c
index fbcf387f63..550a6027c0 100644
--- a/src/drivers/pc80/rtc/mc146818rtc_boot.c
+++ b/src/drivers/pc80/rtc/mc146818rtc_boot.c
@@ -2,7 +2,6 @@
 
 #include <stdint.h>
 #include <console/console.h>
-#include <option.h>
 #include <pc80/mc146818rtc.h>
 #include <fallback.h>
 
diff --git a/src/mainboard/lenovo/t430s/variants/t431s/romstage.c b/src/mainboard/lenovo/t430s/variants/t431s/romstage.c
index 923e379dcd..60a1b01556 100644
--- a/src/mainboard/lenovo/t430s/variants/t431s/romstage.c
+++ b/src/mainboard/lenovo/t430s/variants/t431s/romstage.c
@@ -1,6 +1,5 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <option.h>
 #include <console/console.h>
 #include <cbfs.h>
 #include <northbridge/intel/sandybridge/raminit_native.h>