[coreboot] Patch merged into coreboot/master: 6d47cbe ARMv7: drop __KERNEL__

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 6d47cbe75859eaca4d56dd371d9dee6bd75dd23d
Author: Stefan Reinauer <stefan.reinauer at coreboot.org>
Date:   Fri Jan 4 15:02:25 2013 -0800

    ARMv7: drop __KERNEL__
    
    It's a bad Linux heritage.. We have no userland in firmware.
    
    Change-Id: Ib19e5ba713078ca37514571213d19f418417b964
    Signed-off-by: Stefan Reinauer <reinauer at google.com>
    Reviewed-on: http://review.coreboot.org/2108
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich <rminnich at gmail.com>

Build-Tested: build bot (Jenkins) at Sat Jan  5 00:10:55 2013, giving +1
Reviewed-By: Ronald G. Minnich <rminnich at gmail.com> at Sat Jan  5 00:32:13 2013, giving +2
See http://review.coreboot.org/2108 for details.

-gerrit