[coreboot] Patch merged into coreboot/master: 84de16e Removed an unneeded include file

the following patch was just integrated into master:
commit 84de16e299ed4e68be9fc2bd49fe2de132b239f0
Author: Ronald G. Minnich 
Date:   Mon Dec 10 13:57:43 2012 -0800

Removed an unneeded include file

This file builds fine without including arch/types.h

Signed-off-by: Ronald G. Minnich 
    Change-Id: Icd38cf429576a2a1a33ebca84389526feddfc169
    Reviewed-on: http://review.coreboot.org/2015
    Tested-by: build bot (Jenkins)
    Reviewed-by: David Hendricks

Build-Tested: build bot (Jenkins) at Mon Dec 10 23:05:07 2012, giving +1
Reviewed-By: David Hendricks  at Mon Dec 10 23:11:37 2012, giving +2
See http://review.coreboot.org/2015 for details.

-gerrit