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

the following patch was just integrated into master:
commit ef8110d1f61da7091446019f464518ae518d1a9a
Author: Kyösti Mälkki 
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

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

-gerrit