Re: [coreboot] [PATCH] option_table.h race