[sw/device] Remove redundant #include's

Remove redundant:
  include <stdbool.h>
  include <stddef.h>
  include <stdint.h>

Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
diff --git a/sw/device/lib/hw_sha256.h b/sw/device/lib/hw_sha256.h
index bca6caa..aa066e2 100644
--- a/sw/device/lib/hw_sha256.h
+++ b/sw/device/lib/hw_sha256.h
@@ -6,7 +6,6 @@
 #define _F_LIB_SHA256_H__
 
 #include <stddef.h>
-#include <stdint.h>
 
 #include "sw/vendor/cryptoc/include/cryptoc/hash-internal.h"
 
diff --git a/sw/device/lib/rv_timer.h b/sw/device/lib/rv_timer.h
index 0228d0a..aee5d81 100644
--- a/sw/device/lib/rv_timer.h
+++ b/sw/device/lib/rv_timer.h
@@ -6,7 +6,6 @@
 #define _F_LIB_RV_TIMER_H__
 
 #include <stdbool.h>
-#include <stddef.h>
 #include <stdint.h>
 
 /**
diff --git a/sw/device/lib/usb_controlep.c b/sw/device/lib/usb_controlep.c
index 5ff370a..79e1c48 100644
--- a/sw/device/lib/usb_controlep.c
+++ b/sw/device/lib/usb_controlep.c
@@ -5,8 +5,6 @@
 // Get NULL from here
 #include "usb_controlep.h"
 
-#include <stddef.h>
-
 #include "sw/device/lib/common.h"
 #include "usb_consts.h"
 #include "usbdev.h"
diff --git a/sw/device/lib/usb_controlep.h b/sw/device/lib/usb_controlep.h
index 9e9e218..b10d8df 100644
--- a/sw/device/lib/usb_controlep.h
+++ b/sw/device/lib/usb_controlep.h
@@ -4,7 +4,6 @@
 
 #ifndef __USB_CONTROLEP_H__
 #define __USB_CONTROLEP_H__
-#include <stddef.h>
 
 #include "sw/device/lib/common.h"
 #include "usbdev.h"
diff --git a/sw/device/lib/usb_simpleserial.c b/sw/device/lib/usb_simpleserial.c
index 46229b1..3de162f 100644
--- a/sw/device/lib/usb_simpleserial.c
+++ b/sw/device/lib/usb_simpleserial.c
@@ -5,8 +5,6 @@
 // Get NULL from here
 #include "usb_simpleserial.h"
 
-#include <stddef.h>
-
 #include "sw/device/lib/common.h"
 #include "usbdev.h"
 
diff --git a/sw/device/lib/usbdev.c b/sw/device/lib/usbdev.c
index eb47297..499e09e 100644
--- a/sw/device/lib/usbdev.c
+++ b/sw/device/lib/usbdev.c
@@ -5,8 +5,6 @@
 // Get NULL from here
 #include "usbdev.h"
 
-#include <stddef.h>
-
 #include "sw/device/lib/common.h"
 
 #define USBDEV_BASE_ADDR 0x40020000