[coreboot-gerrit] New patch to review for coreboot: 0a30731 global: Refactor get_option usage