[coreboot-gerrit] Patch merged into coreboot/master: 5c8b034 rk3288: Add missing #include and use uniform types

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 5c8b034f21ddc0c8c362814f832be16b752f106a
Author: David Hendricks <dhendrix at chromium.org>
Date:   Tue Sep 30 15:24:21 2014 -0700

    rk3288: Add missing #include and use uniform types
    
    This updates timer.h to #include the header necessary for u32,
    and to change the one instance of uint32_t to u32 to be uniform.
    
    BUG=none
    BRANCH=none
    TEST=compiled
    
    Change-Id: I4d67045206fd94985774b8d46a307bbb2e337f30
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Original-Commit-Id: 4ff2629fdf3c69c203fa61ec894bb4895990cb5e
    Original-Change-Id: Ie406fb1f518af5d1fd1e623630b2bcbbef35622c
    Original-Signed-off-by: David Hendricks <dhendrix at chromium.org>
    Original-Reviewed-on: https://chromium-review.googlesource.com/220612
    Original-Reviewed-by: Julius Werner <jwerner at chromium.org>
    Reviewed-on: http://review.coreboot.org/9051
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


See http://review.coreboot.org/9051 for details.

-gerrit