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

the following patch was just integrated into master:
commit 1877ceed212b586f13277b4b2057598d39b78894
Author: David Hendricks 
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 
    Reviewed-on: http://review.coreboot.org/2983
    Reviewed-by: Paul Menzel 
    Reviewed-by: Gabe Black 
    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