[coreboot-gerrit] Patch merged into coreboot/master: Kconfig: rename BOOT_MEDIA_SPI_BUS to BOOT_DEVICE_SPI_FLASH_BUS

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 08e842c0d10c69b8fc07f6b00ea4dbeb85ac6e58
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Thu Aug 11 14:40:09 2016 -0500

    Kconfig: rename BOOT_MEDIA_SPI_BUS to BOOT_DEVICE_SPI_FLASH_BUS
    
    Provide a default value of 0 in drivers/spi as there weren't
    default values aside from specific mainboards and arch/x86.
    Remove any default 0 values while noting to keep the option's
    default to 0.
    
    BUG=chrome-os-partner:56151
    
    Change-Id: If9ef585e011a46b5cd152a03e41d545b36355a61
    Signed-off-by: Aaron Durbin <adurbin at chromium.org>
    Reviewed-on: https://review.coreboot.org/16192
    Tested-by: build bot (Jenkins)
    Reviewed-by: Furquan Shaikh <furquan at google.com>
    Reviewed-by: Martin Roth <martinroth at google.com>


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

-gerrit