[coreboot] [PATCH] fix option table race (this time for real)

[Stefan Reinauer]

 See patch

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: fix_option_table_race.diff
URL: <http://www.coreboot.org/pipermail/coreboot/attachments/20100924/0cc9bcc3/attachment.ksh>