diff --git a//third_party/cpuinfo/cpuinfo.patch b//third_party/cpuinfo/cpuinfo.patch
index d9a16c5..be77fb5 100644
--- a/third_party/cpuinfo/cpuinfo.patch
+++ b/third_party/cpuinfo/cpuinfo.patch
@@ -128,3 +128,17 @@ index 98ef919..8365846 100644
  		printf("\tIDIV: %s\n", cpuinfo_has_arm_idiv() ? "yes" : "no");

  	printf("Floating-Point support:\n");
+diff --git a/src/arm/linux/cp.h b/src/arm/linux/cp.h
+index 63940ec..9403a65 100755
+--- a/src/arm/linux/cp.h
++++ b/src/arm/linux/cp.h
+@@ -37,8 +37,6 @@
+ 	#endif
+
+ 	static inline uint32_t read_wcid(void) {
+-		uint32_t wcid;
+-		__asm__ __volatile__("MRC p1, 0, %[wcid], c0, c0" : [wcid] "=r" (wcid));
+-		return wcid;
++		return 0;
+ 	}
+ #endif