Re: [OS-BUILD PATCHv2] redhat/configs/process_configs.sh: Fix race with tools generation
From: Prarit Bhargava on gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1673#note_8875...
It failed in merge. I've rebased and repushed.