fix SDL build

bios.cpp

@@ -286,11 +286,11 @@ uint8_t BIOS::GetAction(int8_t selection)
 	   (resetButtonDebouncer.read() == HIGH)
 #endif
 	   ) {
-#ifndef TEENSYDUINO
-      usleep(100)
-#endif
+#ifdef TEENSYDUINO
       threads.delay(1);
-	;
+	#else
+      usleep(100);
+#endif
       // Wait for either a keypress or the reset button to be pressed
     }
 

globals.h

@@ -54,7 +54,9 @@ extern uint32_t g_speed;
 extern bool g_invertPaddleX;
 extern bool g_invertPaddleY;
 
+#ifdef TEENSYDUINO
 #include <TeensyThreads.h>
 extern Threads::Mutex spi_lock;
+#endif
 
 #endif