Re: [PATCH v3 2/4] dbghelp: Avoid using inline assembly in have_x86cpuid().