sdb.h: fixed header inclusion for kernel mode

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

docs/specification/sdb.h

@@ -3,7 +3,11 @@
  */
 #ifndef __SDB_H__
 #define __SDB_H__
+#ifdef __KERNEL__
+#include <linux/types.h>
+#else
 #include <stdint.h>
+#endif
 
 /*
  * All structures are 64 bytes long and are expected