Index: at91bootstrap-3.5.3/driver/debug.c
===================================================================
--- at91boostrap-3.5.3.orig/driver/debug.c.orig	2017-02-13 16:14:17.214217038 -0600
+++ at91boostrap-3.5.3/driver/debug.c	2017-02-13 15:48:44.106262425 -0600
@@ -27,7 +27,6 @@
  */
 #include "dbgu.h"
 #include "debug.h"
-#include <stdio.h>
 #include <stdarg.h>
 
 #define MAX_BUFFER	128