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