--- old/src/os_cpu/linux_zero/vm/os_linux_zero.cpp	2018-05-03 19:10:16.414444536 +0200
+++ new/src/os_cpu/linux_zero/vm/os_linux_zero.cpp	2018-05-03 19:10:16.299444840 +0200
@@ -408,6 +408,7 @@
 
 extern "C" {
   int SpinPause() {
+    return 0; // Shouldn't matter.
   }