kernel.h: remove stdint.h

This was added by the msp340 port, but
- Not all our compilers have stdint.h
- The msp340 includes it from cpu.h anyway

diff --git a/Kernel/include/kernel.h b/Kernel/include/kernel.h
index 81423b9..e3ae0c1 100644 (file)
--- a/Kernel/include/kernel.h
+++ b/Kernel/include/kernel.h
@@ -11,7 +11,6 @@ From UZI by Doug Braun and UZI280 by Stefan Nitschke.
 #define __FUZIX__KERNEL_DOT_H__
 
 #include <stdbool.h>
-#include <stdint.h>
 
 #include "config.h"
 #include "cpu.h"