[OS-BUILD PATCHv3 3/5] configs/process_configs.sh: make use of dummy-tools