[OS-BUILD PATCHv3] redhat/configs/process_configs.sh: Fix race with tools generation