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