[coreboot-gerrit] Patch merged into coreboot/master: Kconfig: Hide BOARD_ID_MANUAL.

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 1e161429973e10d467eee7f6d1d3def852ba7d2b
Author: Vladimir Serbinenko <phcoder at gmail.com>
Date:   Sat May 30 22:47:22 2015 +0200

    Kconfig: Hide BOARD_ID_MANUAL.
    
    board_id() returns an integer which is platform-specific. 0 for one port
    is different from 0 for another port. So there is no default board_id()
    and hence enabling it on boards other than urara would cause build failure.
    Not enabling it on urara or just setting id to "(none)" as is default results
    in board_id() = 0 which means urara and an error message on console.
    
    Change-Id: I94618f36a75e7505984bbec345a31fe0fa9cc867
    Signed-off-by: Vladimir Serbinenko <phcoder at gmail.com>
    Reviewed-on: http://review.coreboot.org/10379
    Tested-by: build bot (Jenkins)
    Reviewed-by: Marc Jones <marc at marcjonesconsulting.com>


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

-gerrit