Enables PulseIO on STM32F7

Tested on nucleo_f746zg

Author: k0d

ports/stm/common-hal/pulseio/PWMOut.c

@@ -32,7 +32,7 @@
 #include "supervisor/shared/translate.h"
 
 #include "shared-bindings/microcontroller/__init__.h"
-#include "stm32f4xx_hal.h"
+#include STM32_HAL_H
 #include "common-hal/microcontroller/Pin.h"
 
 #define ALL_CLOCKS 0xFFFF

ports/stm/common-hal/pulseio/PWMOut.h

@@ -29,7 +29,7 @@
 
 #include "common-hal/microcontroller/Pin.h"
 
-#include "stm32f4xx_hal.h"
+#include STM32_HAL_H
 #include "peripherals/periph.h"
 
 #include "py/obj.h"

ports/stm/common-hal/pulseio/PulseIn.c

@@ -34,7 +34,7 @@
 #include "shared-bindings/pulseio/PulseIn.h"
 #include "tick.h"
 
-#include "stm32f4xx_hal.h"
+#include STM32_HAL_H
 
 #define STM32_GPIO_PORT_SIZE 16
 

ports/stm/common-hal/pulseio/PulseOut.c

@@ -35,7 +35,7 @@
 #include "shared-bindings/pulseio/PWMOut.h"
 #include "supervisor/shared/translate.h"
 
-#include "stm32f4xx_hal.h"
+#include STM32_HAL_H
 #include "common-hal/microcontroller/Pin.h"
 #include "tick.h"
 

ports/stm/mpconfigport.mk

@@ -40,7 +40,7 @@ ifeq ($(MCU_SERIES),F7)
 	# Not yet implemented common-hal modules:
 	CIRCUITPY_ANALOGIO = 0
 	CIRCUITPY_NEOPIXEL_WRITE = 0
-	CIRCUITPY_PULSEIO = 0
+	CIRCUITPY_PULSEIO = 1
 	CIRCUITPY_OS = 0
 	CIRCUITPY_NVM = 0
 	CIRCUITPY_AUDIOBUSIO = 0