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