Re: [coreboot] [PATCH] [v2] fix build system race condition