Make all the serialization code build for the Teensy too

Change-Id: Ib3442220581553d78bb30e42818203959d987d85
diff --git a/y2019/jevois/spi.cc b/y2019/jevois/spi.cc
index 28df8cf..abc1780 100644
--- a/y2019/jevois/spi.cc
+++ b/y2019/jevois/spi.cc
@@ -1,9 +1,14 @@
 #include "y2019/jevois/spi.h"
 
-#include "aos/logging/logging.h"
 #include "aos/util/bitpacking.h"
 #include "third_party/GSL/include/gsl/gsl"
 #include "y2019/jevois/jevois_crc.h"
+#ifdef __linux__
+#include "aos/logging/logging.h"
+#else
+#define CHECK(...)
+#define CHECK_GE(...)
+#endif
 
 // SPI transfer format (6x 8 bit frames):
 // 1. 1-byte brightness for each beacon channel.