[PATCH v3 1/4] dbghelp: Avoid using inline assembly in do_x86cpuid().