[coreboot-gerrit] Patch merged into coreboot/master: 1877cee armv7: change some unsigned ints to uint32_t

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 1877ceed212b586f13277b4b2057598d39b78894
Author: David Hendricks <dhendrix at chromium.org>
Date:   Fri Mar 29 15:40:34 2013 -0700

    armv7: change some unsigned ints to uint32_t
    
    Use register-sized types in case the inline assembler doesn't do
    so automatically.
    
    Change-Id: I3202ba972ef2548323fe557f45dc4b0b1cf6c818
    Signed-off-by: David Hendricks <dhendrix at chromium.org>
    Reviewed-on: http://review.coreboot.org/2983
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Gabe Black <gabe.black at gmail.com>
    Tested-by: build bot (Jenkins)

Build-Tested: build bot (Jenkins) at Sat Mar 30 03:30:46 2013, giving +1
See http://review.coreboot.org/2983 for details.

-gerrit