[coreboot-gerrit] Patch merged into coreboot/master: 425b61e arch/x86/Kconfig: Add license header

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 425b61e10214f7e4d029b2ec8cbac8913c54dd00
Author: Stefan Reinauer <stefan.reinauer at coreboot.org>
Date:   Sun Mar 15 04:29:35 2015 +0100

    arch/x86/Kconfig: Add license header
    
    Add license header with copyright of the original authors.
    
    Change-Id: I8c55bb38a2a2a387ad2461e11d402c7392fa2497
    Signed-off-by: Stefan Reinauer <stefan.reinauer at coreboot.org>
    Reviewed-on: http://review.coreboot.org/8691
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit