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