Fix Xaos port

ports/xaos/nacl-ui-driver/ui_nacl.h

Index: ports/xaos/nacl-ui-driver/ui_nacl.h
diff --git a/ports/xaos/nacl-ui-driver/ui_nacl.h b/ports/xaos/nacl-ui-driver/ui_nacl.h
index 8b0d9b8ef2716396fef35fd9ef2471ae3f35aa3c..46703fe1faa9bc35862a4b5d2bfad9f028c82f39 100644
--- a/ports/xaos/nacl-ui-driver/ui_nacl.h
+++ b/ports/xaos/nacl-ui-driver/ui_nacl.h
@@ -30,13 +30,15 @@ struct PpapiEvent {
 /* get next ppapi event to process, may block if wait == 1 */
 struct PpapiEvent* GetEvent(int wait);
 
-/* these headers need an sdk update before they can be used */
-#if 0
-#include <nacl/nacl_check.h>
-#include <nacl/nacl_log.h>
-#else
-#define CHECK(cond) do { if (!(cond)) {puts("ABORT: " #cond "\n"); abort();}} while(0)
-#define NaClLog(lev, ...)  fprintf(stderr, __VA_ARGS__)
-#endif
+#define CHECK(cond) do { \
+  if (!(cond)) { fputs("ABORT: " #cond "\n", stderr); abort(); } \
+} while(0)
+
+#define LOG_TRACE 3
+#define LOG_INFO  2
+#define LOG_ERROR 1
+#define LOG_FATAL 0
+
+void NaClLog(int level, char* fmt, ...);
 
 #endif /* UI_NACL_H */