Removed an unneeded include file

This file builds fine without including arch/types.h

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Change-Id: Icd38cf429576a2a1a33ebca84389526feddfc169
Reviewed-on: http://review.coreboot.org/2015
Tested-by: build bot (Jenkins)
Reviewed-by: David Hendricks <dhendrix@chromium.org>

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;