arm-trusted-firmware: update marker

Change-Id: I8dddeead3c23a03803e7d8d5b2bfb8a15c5c2807
Signed-off-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-on: http://review.coreboot.org/10645
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins)
1 file changed