[coreboot-gerrit] Patch merged into coreboot/master: 4bddb75 chromeos: always enable timestamps

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 4bddb75c4edb8880bae0aa45c3c31a45c27a1fc2
Author: Stefan Reinauer <stefan.reinauer at coreboot.org>
Date:   Thu May 28 13:48:47 2015 -0700

    chromeos: always enable timestamps
    
    Timestamps should not be forced on by a subset of chipsets.
    However, they are a requirement on Chrome OS platforms, so
    have CONFIG_CHROMEOS select it.
    
    Change-Id: I408c6b17aa8721a3abec69020084174e414a8940
    Signed-off-by: Stefan Reinauer <reinauer at chromium.org>
    Reviewed-on: http://review.coreboot.org/10357
    Reviewed-by: Aaron Durbin <adurbin at chromium.org>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>
    Tested-by: build bot (Jenkins)


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

-gerrit