diff --git a/src/mainboard/lenovo/t400/dock.c b/src/mainboard/lenovo/t400/dock.c
index 0c6db0b5a1..3d92a796de 100644
--- a/src/mainboard/lenovo/t400/dock.c
+++ b/src/mainboard/lenovo/t400/dock.c
@@ -26,7 +26,7 @@
 #include <superio/nsc/pc87382/pc87382.h>
 
 #include <southbridge/intel/i82801ix/i82801ix.h>
-#include "ec/lenovo/h8/h8.h"
+#include <ec/lenovo/h8/h8.h>
 #include <ec/acpi/ec.h>
 
 struct pin_config {
diff --git a/src/mainboard/lenovo/x200/dock.c b/src/mainboard/lenovo/x200/dock.c
index 5bf2cd3ee6..dc5eabf372 100644
--- a/src/mainboard/lenovo/x200/dock.c
+++ b/src/mainboard/lenovo/x200/dock.c
@@ -23,7 +23,7 @@
 #include <delay.h>
 #include "dock.h"
 #include <southbridge/intel/i82801ix/i82801ix.h>
-#include "ec/lenovo/h8/h8.h"
+#include <ec/lenovo/h8/h8.h>
 #include <ec/acpi/ec.h>
 
 #define LPC_DEV PCI_DEV(0, 0x1f, 0)
diff --git a/src/mainboard/lenovo/x201/dock.c b/src/mainboard/lenovo/x201/dock.c
index b0e467ad41..a25fc70fba 100644
--- a/src/mainboard/lenovo/x201/dock.c
+++ b/src/mainboard/lenovo/x201/dock.c
@@ -22,7 +22,7 @@
 #include <device/pci.h>
 #include "dock.h"
 #include <southbridge/intel/ibexpeak/pch.h>
-#include "ec/lenovo/h8/h8.h"
+#include <ec/lenovo/h8/h8.h>
 #include <ec/acpi/ec.h>
 
 void h8_mainboard_init_dock (void)
diff --git a/src/mainboard/lenovo/x201/romstage.c b/src/mainboard/lenovo/x201/romstage.c
index 02b9e24a4e..cfa11b49fb 100644
--- a/src/mainboard/lenovo/x201/romstage.c
+++ b/src/mainboard/lenovo/x201/romstage.c
@@ -34,7 +34,7 @@
 #include <arch/acpi.h>
 
 #include "dock.h"
-#include "arch/early_variables.h"
+#include <arch/early_variables.h>
 #include <southbridge/intel/ibexpeak/pch.h>
 #include <southbridge/intel/common/gpio.h>
 #include <northbridge/intel/nehalem/nehalem.h>