[coreboot-gerrit] Patch merged into coreboot/master: arch/arm64: Override bl31 timestamp with coreboot build timestamp

the following patch was just integrated into master:
commit dcc3ecc940e95cb6a97dbea203d3680f67910b59
Author: Patrick Georgi 
Date:   Thu Jan 28 15:00:54 2016 +0100

arch/arm64: Override bl31 timestamp with coreboot build timestamp

If coreboot's build process is reproducible (eg. using the latest git
    timestamp as source), bl31 is, too.

This requires an arm-trusted-firmware side merge first (in progress) and
    an update of our reference commit for the submodule, but it also doesn't
    hurt anything because it merely sets a variable that currently goes
    unused.

Change-Id: If139538a2fab5b3a70c67f4625aa2596532308f7
    Signed-off-by: Patrick Georgi 
    Reviewed-on: https://review.coreboot.org/13497
    Tested-by: build bot (Jenkins)
    Reviewed-by: Alexander Couzens

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

-gerrit