diff --git a/src/mainboard/sifive/hifive-unmatched/cbfs_spi.c b/src/mainboard/sifive/hifive-unmatched/cbfs_spi.c
index f47da22626..bb9d10a223 100644
--- a/src/mainboard/sifive/hifive-unmatched/cbfs_spi.c
+++ b/src/mainboard/sifive/hifive-unmatched/cbfs_spi.c
@@ -16,7 +16,6 @@
 #include <spi_sdcard.h>
 #include <stdint.h>
 #include <symbols.h>
-#include <timer.h>
 
 // There are two different means of accessing the SPI flash.
 // They are controlled by the fctrl register.
diff --git a/src/soc/intel/meteorlake/finalize.c b/src/soc/intel/meteorlake/finalize.c
index 64beb85e2f..ed29ba99a1 100644
--- a/src/soc/intel/meteorlake/finalize.c
+++ b/src/soc/intel/meteorlake/finalize.c
@@ -22,7 +22,6 @@
 #include <soc/smbus.h>
 #include <soc/soc_chip.h>
 #include <soc/systemagent.h>
-#include <timer.h>
 
 static void pch_handle_sideband(config_t *config)
 {