[coreboot-gerrit] Patch set updated for coreboot: ef8110d1 option: Add arch-agnostic get_option()