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

the following patch was just integrated into master:
commit 8688defd5094110bea0bbd0e3cec2752fdbd6386
Author: Patrick Georgi 
Date:   Sat Mar 28 16:27:42 2015 +0100

mips: mips, not mipsel

Change-Id: I49df089d3fd5f578702dcc32be08bf6245277a45
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/9149
    Reviewed-by: Aaron Durbin 
    Tested-by: build bot (Jenkins)

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

-gerrit