diff --git a/src/mainboard/lenovo/x201/acpi_tables.c b/src/mainboard/lenovo/x201/acpi_tables.c
index 82991b267b..6fd47d7276 100644
--- a/src/mainboard/lenovo/x201/acpi_tables.c
+++ b/src/mainboard/lenovo/x201/acpi_tables.c
@@ -15,7 +15,6 @@
  * GNU General Public License for more details.
  */
 
-#include <stdint.h>
 #include <southbridge/intel/ibexpeak/nvs.h>
 #include "thermal.h"
 
diff --git a/src/mainboard/lenovo/x201/mainboard.c b/src/mainboard/lenovo/x201/mainboard.c
index b8129ad294..0e20afe610 100644
--- a/src/mainboard/lenovo/x201/mainboard.c
+++ b/src/mainboard/lenovo/x201/mainboard.c
@@ -23,11 +23,10 @@
 #include <ec/acpi/ec.h>
 #include <northbridge/intel/nehalem/nehalem.h>
 #include <southbridge/intel/bd82x6x/pch.h>
-
 #include "dock.h"
 #include <drivers/intel/gma/int15.h>
 #include <cpu/x86/lapic.h>
-#include <device/pci.h>
+#include <device/pci_ops.h>
 #include <drivers/lenovo/lenovo.h>
 #include <arch/acpigen.h>