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