[coreboot-gerrit] Patch merged into coreboot/master: ef8110d1 option: Add arch-agnostic get_option()

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit ef8110d1f61da7091446019f464518ae518d1a9a
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
Date:   Tue Jan 28 10:02:53 2014 +0200

    option: Add arch-agnostic get_option()
    
    We should not have pc80/ includes in console/.
    
    Change-Id: Id7da732b1ea094be01f45f9dbb49142f4e78f095
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>


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

-gerrit