diff --git a/Marlin/src/HAL/I2cEeprom.cpp b/Marlin/src/HAL/I2cEeprom.cpp
index 27fa0062d8..874b99c80a 100644
--- a/Marlin/src/HAL/I2cEeprom.cpp
+++ b/Marlin/src/HAL/I2cEeprom.cpp
@@ -33,7 +33,7 @@
 // Includes
 // --------------------------------------------------------------------------
 
-#include "HAL.h"
+#include HAL_PATH(., HAL.h)
 #include <Wire.h>
 
 // --------------------------------------------------------------------------
diff --git a/Marlin/src/HAL/SpiEeprom.cpp b/Marlin/src/HAL/SpiEeprom.cpp
index f15978b686..6d36d1ca7e 100644
--- a/Marlin/src/HAL/SpiEeprom.cpp
+++ b/Marlin/src/HAL/SpiEeprom.cpp
@@ -29,7 +29,7 @@
 
 #if ENABLED(SPI_EEPROM)
 
-#include "HAL.h"
+#include HAL_PATH(., HAL.h)
 
 #define CMD_WREN  6   // WREN
 #define CMD_READ  2   // WRITE
diff --git a/Marlin/src/inc/MarlinConfig.h b/Marlin/src/inc/MarlinConfig.h
index 26dbfda4d0..58f67af7b9 100644
--- a/Marlin/src/inc/MarlinConfig.h
+++ b/Marlin/src/inc/MarlinConfig.h
@@ -25,7 +25,6 @@
 
 #include "MarlinConfigPre.h"
 
-#include "../HAL/platforms.h"
 #include HAL_PATH(../HAL, HAL.h)
 
 #include "../pins/pins.h"
diff --git a/Marlin/src/inc/MarlinConfigPre.h b/Marlin/src/inc/MarlinConfigPre.h
index fb7258fb0a..c4f1ec6d39 100644
--- a/Marlin/src/inc/MarlinConfigPre.h
+++ b/Marlin/src/inc/MarlinConfigPre.h
@@ -23,6 +23,7 @@
 #ifndef _MARLIN_CONFIGPRE_H_
 #define _MARLIN_CONFIGPRE_H_
 
+#include "../HAL/platforms.h"
 #include "../core/boards.h"
 #include "../core/macros.h"
 #include "Version.h"