Fixes #3854: Suppress a CPUID generation warning when tools have not been copied yet