Fixes #3854: Suppress a CPUID generation warning when tools have not been copied yet
Merge pull request #232 from Kegeruneku/bug_3854/dev/3854_fix_cpuid_generation_failure_warning

Fixes #3854: Suppress a CPUID generation warning when tools have not bee...