[coreboot-gerrit] Patch merged into coreboot/master: Fix "Spike RISCV" board name

the following patch was just integrated into master:
commit d6d50099e04d3b0840f0736e15d37eecfd9c5261
Author: Jonathan Neuschäfer 
Date:   Tue Apr 26 16:40:55 2016 +0200

Fix "Spike RISCV" board name

Change-Id: If0f835e69862a78433e7c1a34efa4706cc27b214
    Signed-off-by: Jonathan Neuschäfer 
    Reviewed-on: https://review.coreboot.org/14517
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth

See https://review.coreboot.org/14517 for details.

-gerrit