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

the following patch was just integrated into master:
commit 6724b1b6b46f7fbc21d80511177fca6080067d69
Author: Julius Werner 
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 
    Reviewed-on: https://review.coreboot.org/15070
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth

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

-gerrit