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

[gerrit at coreboot.org]

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

    arch/x86/include: add missing license headers
    
    These were all written as part of the coreboot project, so get
    the standard coreboot license header.
    
    Change-Id: I51e1e504b3bc7be2a00c9356d8775b87f2a1db5a
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/12912
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit