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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 84de16e299ed4e68be9fc2bd49fe2de132b239f0
Author: Ronald G. Minnich <rminnich at gmail.com>
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 <rminnich at gmail.com>
    Change-Id: Icd38cf429576a2a1a33ebca84389526feddfc169
    Reviewed-on: http://review.coreboot.org/2015
    Tested-by: build bot (Jenkins)
    Reviewed-by: David Hendricks <dhendrix at chromium.org>

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

-gerrit