diff --git a/src/cpu/samsung/exynos5-common/spl_boot.c b/src/cpu/samsung/exynos5-common/spl_boot.c
index 8ae051171e..a734d5c17b 100644
--- a/src/cpu/samsung/exynos5-common/spl_boot.c
+++ b/src/cpu/samsung/exynos5-common/spl_boot.c
@@ -54,7 +54,6 @@
 #include <system.h>
 
 #include <arch/io.h>
-#include <arch/types.h>
 
 /* FIXME(dhendrix): clean out u-boot global data stuff */
 //DECLARE_GLOBAL_DATA_PTR;