[coreboot-gerrit] Patch merged into coreboot/master: 8688def mips: mips, not mipsel

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 8688defd5094110bea0bbd0e3cec2752fdbd6386
Author: Patrick Georgi <pgeorgi at google.com>
Date:   Sat Mar 28 16:27:42 2015 +0100

    mips: mips, not mipsel
    
    Change-Id: I49df089d3fd5f578702dcc32be08bf6245277a45
    Signed-off-by: Patrick Georgi <pgeorgi at google.com>
    Reviewed-on: http://review.coreboot.org/9149
    Reviewed-by: Aaron Durbin <adurbin at google.com>
    Tested-by: build bot (Jenkins)


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

-gerrit