See patch. -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: fix_option_race.diff URL: <http://www.coreboot.org/pipermail/coreboot/attachments/20100901/80b229e7/attachment.ksh>