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

@@ -95,7 +95,7 @@ ifeq ($(MCU_SERIES), F7)
 	CIRCUITPY_ANALOGIO = 0
 	CIRCUITPY_MICROCONTROLLER = 1
 	CIRCUITPY_BUSIO = 1
-	CIRCUITPY_PULSEIO = 0
+	CIRCUITPY_PULSEIO = 1
 	CIRCUITPY_OS = 0
 	CIRCUITPY_STORAGE = 0
 	CIRCUITPY_RANDOM = 0