[coreboot-gerrit] Patch set updated for coreboot: 075ae80 global: Refactor get_option usage