scripts/run_oldconfig.sh: use pahole from dummy-tools if available (bsc#1198388)
Similar to other dummy-tools, use also pahole from dummy-tools, if it is
available. This makes the configs consistent on all distros, not
dependining on developers' version.