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