[coreboot-gerrit] Patch merged into coreboot/master: arch/arm64: add missing license headers

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit cf77d28ff73e1f45f1e4b38f2c3c725fa552449b
Author: Martin Roth <martinroth at google.com>
Date:   Tue Jan 12 11:03:10 2016 -0700

    arch/arm64: add missing license headers
    
    These were all written as part of the coreboot project, so get
    the standard coreboot license header.
    
    Change-Id: I4fccc8055755816be64e9e1a185f1e6fcb2b89ae
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/12911
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit