Re: [PATCH 3/4] ntdll: Avoid inline assembly in do_cpuid().