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