[coreboot-gerrit] Patch merged into coreboot/master: 01368ed Kconfig: rename CONSOLE_SERIAL_UART to DRIVERS_UART

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 01368ed5edca94582185b603350f8e70f9b16f45
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Thu Apr 16 15:27:52 2015 +0200

    Kconfig: rename CONSOLE_SERIAL_UART to DRIVERS_UART
    
    Some upstreaming patches missed that, so follow up.
    
    Change-Id: I28665c97ac777d8b0b0f909e64b32681ed2b98f7
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Reviewed-on: http://review.coreboot.org/9771
    Reviewed-by: Aaron Durbin <adurbin at chromium.org>
    Tested-by: build bot (Jenkins)


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

-gerrit