[coreboot-gerrit] Patch merged into coreboot/master: arm-trusted-firmware: update marker

the following patch was just integrated into master:
commit b838469e62e1ec74172a6b27b91060f6c4314f2e
Author: Stefan Reinauer 
Date:   Tue Jun 23 13:21:23 2015 -0700

arm-trusted-firmware: update marker

Change-Id: I8dddeead3c23a03803e7d8d5b2bfb8a15c5c2807
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/10645
    Reviewed-by: Patrick Georgi 
    Tested-by: build bot (Jenkins)

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

-gerrit