[coreboot-gerrit] Patch merged into coreboot/master: ed271d3 veyron_mickey: Update board name to uppercase

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit ed271d3ca382d6eb32478c8ddf4d4edbb06052cf
Author: Martin Roth <gaumless at gmail.com>
Date:   Fri Jun 5 21:48:48 2015 -0600

    veyron_mickey: Update board name to uppercase
    
    Change the Kconfig board name symbol to uppercase to match
    other symbols and to match the capitalization in the Kconfig
    file where it's used in an expression.
    
    Change-Id: I04ccb57cc15a6d7430f8d04136beb8384caa6c04
    Signed-off-by: Martin Roth <gaumless at gmail.com>
    Reviewed-on: http://review.coreboot.org/10440
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Edward O'Callaghan <edward.ocallaghan at koparo.com>


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

-gerrit