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

[Stefan Reinauer]

See patch