diff --git a/nvsched/include/nvs/nvs-control-interface.h b/nvsched/include/nvs/nvs-control-interface.h
index ce6b96578..ea710081e 100644
--- a/nvsched/include/nvs/nvs-control-interface.h
+++ b/nvsched/include/nvs/nvs-control-interface.h
@@ -20,7 +20,7 @@
 
 #if defined(__cplusplus)
 #include <cstdint>
-#else
+#elif !defined(__KERNEL__)
 #include <stdint.h>
 #endif
 
diff --git a/nvsched/include/nvs/nvs-control-messages.h b/nvsched/include/nvs/nvs-control-messages.h
index 5d0705ea1..7cc1905de 100644
--- a/nvsched/include/nvs/nvs-control-messages.h
+++ b/nvsched/include/nvs/nvs-control-messages.h
@@ -18,7 +18,7 @@
 
 #if defined(__cplusplus)
 #include <cstdint>
-#else
+#elif !defined(__KERNEL__)
 #include <stdint.h>
 #endif