[coreboot-gerrit] Patch merged into coreboot/master: f48b38b ARM romstages: Support and fix COLLECT_TIMESTAMPS

the following patch was just integrated into master:
commit f48b38b8d794fda4f1be523e1f823c6b78ab83e3
Author: Kyösti Mälkki 
Date:   Wed Dec 31 08:50:36 2014 +0200

ARM romstages: Support and fix COLLECT_TIMESTAMPS

Change-Id: I53959eb937c1db3c4211e23a6476340383a33c5b
    Signed-off-by: Kyösti Mälkki 
    Reviewed-on: http://review.coreboot.org/8021
    Reviewed-by: Edward O'Callaghan 
    Tested-by: build bot (Jenkins)

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

-gerrit