HAL_Linux: fixed ULTRASOUND GPIO for Disco

libraries/AP_HAL_Linux/GPIO_Bebop.cpp

@@ -1,8 +1,7 @@
 #include <AP_Common/AP_Common.h>
 
-#include "GPIO_Bebop.h"
-
 #if CONFIG_HAL_BOARD_SUBTYPE == HAL_BOARD_SUBTYPE_LINUX_BEBOP
+#include "GPIO_Bebop.h"
 
 const unsigned Linux::GPIO_Sysfs::pin_table[] = {
     [BEBOP_GPIO_CAMV_NRST] = 129,

libraries/AP_HAL_Linux/GPIO_Disco.cpp

@@ -1,11 +1,12 @@
 #include <AP_Common/AP_Common.h>
 
-#include "GPIO_Disco.h"
-
 #if CONFIG_HAL_BOARD_SUBTYPE == HAL_BOARD_SUBTYPE_LINUX_DISCO
 
+#include "GPIO_Disco.h"
+
 const unsigned Linux::GPIO_Sysfs::pin_table[] = {
     [DISCO_GPIO_MPU6050_DRDY] = 91,
+    [LINUX_GPIO_ULTRASOUND_VOLTAGE] = 200,
 };
 
 const uint8_t Linux::GPIO_Sysfs::n_pins = _DISCO_GPIO_MAX;

libraries/AP_HAL_Linux/GPIO_Disco.h

@@ -4,5 +4,6 @@
 
 enum gpio_disco {
     DISCO_GPIO_MPU6050_DRDY,
+    LINUX_GPIO_ULTRASOUND_VOLTAGE,
     _DISCO_GPIO_MAX,
 };