Update pins_arduino.h with correct LED_BUILTIN

Author: brice-fr

variants/m5stack_atoms3/pins_arduino.h

@@ -7,10 +7,10 @@
 #define USB_VID 0x303a
 #define USB_PID 0x1001
 
-// Some boards have too low voltage on this pin (board design bug)
-// Use different pin with 3V and connect with 48
-// and change this setup for the chosen pin (for example 38)
-static const uint8_t LED_BUILTIN = SOC_GPIO_PIN_COUNT + 48;
+// The board RGB led is connected to GPIO #35
+#define PIN_RGB_LED 35
+// BUILTIN_LED can be used in new Arduino API digitalWrite() like in Blink.ino
+static const uint8_t LED_BUILTIN = SOC_GPIO_PIN_COUNT + PIN_RGB_LED;
 #define BUILTIN_LED    LED_BUILTIN  // backward compatibility
 #define LED_BUILTIN    LED_BUILTIN
 #define RGB_BUILTIN    LED_BUILTIN