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