diff --git a/platforms/chibios/_pin_defs.h b/platforms/chibios/_pin_defs.h
index c03f8de0c2..a84d931cc2 100644
--- a/platforms/chibios/_pin_defs.h
+++ b/platforms/chibios/_pin_defs.h
@@ -15,6 +15,12 @@
  */
 #pragma once
 
+#if defined(MCU_KINETIS)
+// TODO: including this avoids "error: expected identifier before '(' token" errors
+//       here just to please KINETIS builds...
+#    include <hal.h>
+#endif
+
 // Defines mapping for Proton C replacement
 #ifdef CONVERT_TO_PROTON_C
 // Left side (front)
diff --git a/platforms/pin_defs.h b/platforms/pin_defs.h
index af2c415f40..341fe89b6e 100644
--- a/platforms/pin_defs.h
+++ b/platforms/pin_defs.h
@@ -15,10 +15,6 @@
  */
 #pragma once
 
-// TODO: including this avoids "error: expected identifier before '(' token" errors
-//       here just to please KINETIS builds...
-#include "platform_deps.h"
-
 // useful for direct pin mapping
 #define NO_PIN (pin_t)(~0)