[coreboot-gerrit] Patch merged into coreboot/master: rk3288: Remove duplicate timestamp_init()

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 6724b1b6b46f7fbc21d80511177fca6080067d69
Author: Julius Werner <jwerner at chromium.org>
Date:   Fri Jun 3 17:27:58 2016 -0700

    rk3288: Remove duplicate timestamp_init()
    
    Fix bug introduced by merging http://review.coreboot.org/9606 and
    http://review.coreboot.org/10740 in the wrong order.
    
    Change-Id: I75dd22cd0cf30c7d91e4fa5171cb482a80eb64ca
    Signed-off-by: Julius Werner <jwerner at chromium.org>
    Reviewed-on: https://review.coreboot.org/15070
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>


See https://review.coreboot.org/15070 for details.

-gerrit