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