[coreboot-gerrit] Patch set updated for coreboot: b2d5d50 Change from read_option and hardcoded offsets to get_option