[coreboot-gerrit] New patch to review for coreboot: 3rdparty/arm-trusted-firmware: Update to Jun 8, 2016 master