fix(board): Alfredo NoU3 pins_arduino.h uses uint8_t but it causes error with esp32-hal-gpio.h (#11206)

* fix(board): Alfredo NoU3 include stdint.h

* fix(hal_gpio): lets pins_arduino.h to use stdint and stdbool types

* feat(pins_arduino): fixes lack of stdint in the right place

* fix(pins_arduino): reverts all changes to this file

* fix(pins_arduino): reverts all changes to this file

* fix(pins_arduino): reverts all changes back to original pr

---------

Co-authored-by: Sugar Glider <[email protected]>

Author: SaintSampo

variants/alfredo-nou3/pins_arduino.h

@@ -1,6 +1,7 @@
 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
 #define USB_VID          0xAFD0
 #define USB_PID          0x0003
 #define USB_MANUFACTURER "Alfredo"