Index: lib/builtins/cpu_model.c
===================================================================
--- lib/builtins/cpu_model.c
+++ lib/builtins/cpu_model.c
@@ -265,6 +265,20 @@
 #endif
 }
 
+#else
+/// No-op stub functions
+static bool getX86CpuIDAndInfo(unsigned value, unsigned *rEAX, unsigned *rEBX,
+                               unsigned *rECX, unsigned *rEDX) {
+  return true;
+}
+static bool getX86CpuIDAndInfoEx(unsigned value, unsigned subleaf,
+                                 unsigned *rEAX, unsigned *rEBX, unsigned *rECX,
+                                 unsigned *rEDX) {
+  return true;
+}
+static bool getX86XCR0(unsigned *rEAX, unsigned *rEDX) {
+  return true;
+}
 #endif
 
 static void detectX86FamilyModel(unsigned EAX, unsigned *Family,