Try using <Arduino.h> everywhere

Marlin/src/HAL/HAL_AVR/HAL_AVR.h

 
 #include <stdint.h>
 
-#include "Arduino.h"
+#include <Arduino.h>
 
 #include <util/delay.h>
 #include <avr/eeprom.h>

Marlin/src/HAL/HAL_DUE/HAL_Due.h

 
 #include <stdint.h>
 
-#include "Arduino.h"
+#include <Arduino.h>
 
 #include "fastio_Due.h"
 #include "watchdog_Due.h"

Marlin/src/HAL/HAL_LPC1768/WInterrupts.cpp

 #ifdef TARGET_LPC1768
 
 #include "../../inc/MarlinConfig.h"
-#include "arduino.h"
+#include "include/arduino.h"
 #include "pinmapping.h"
 //#include "HAL_timers.h"
 #include "fastio.h"

Marlin/src/HAL/HAL_STM32F1/HAL_Stm32f1.h

 
 #include <stdint.h>
 
-#include "Arduino.h"
+#include <Arduino.h>
 
 // --------------------------------------------------------------------------
 // Undefine DEBUG_ settings

Marlin/src/HAL/HAL_TEENSY35_36/HAL_Teensy.h

 // Includes
 // --------------------------------------------------------------------------
 
-#include "Arduino.h"
+#include <Arduino.h>
 
 #include "fastio_Teensy.h"
 #include "watchdog_Teensy.h"

Marlin/src/feature/leds/blinkm.h

 #ifndef __BLINKM_H__
 #define __BLINKM_H__
 
-#include "Arduino.h"
+#include <Arduino.h>
 #include <Wire.h>
 
 void blinkm_set_led_color(const uint8_t r, const uint8_t g, const uint8_t b);

Marlin/src/feature/leds/pca9632.h

 #ifndef __PCA9632_H__
 #define __PCA9632_H__
 
-#include "Arduino.h"
+#include <Arduino.h>
 #include <Wire.h>
 
 void pca9632_set_led_color(const byte r, const byte g, const byte b);