[coreboot-gerrit] Patch merged into coreboot/master: e0935bb build system: mips is a valid nickname for mipsel

the following patch was just integrated into master:
commit e0935bb405f0a6081305bf7b146b4c52615dc65f
Author: Patrick Georgi 
Date:   Sat Mar 28 15:49:46 2015 +0100

build system: mips is a valid nickname for mipsel

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

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

-gerrit