[coreboot] [PATCH] fix race in romtool makefiles.