Fix compiling with USBPD=none

Signed-off-by: Tim Crawford <tcrawford@system76.com>

Author: crawfxrd

src/board/system76/common/include/board/usbpd.h

@@ -3,6 +3,9 @@
 #ifndef _BOARD_USBPD_H
 #define _BOARD_USBPD_H
 
+#include <stdbool.h>
+#include <stdint.h>
+
 void usbpd_init(void);
 void usbpd_event(void);
 void usbpd_disable_charging(void);

src/board/system76/common/usbpd/none.c

@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: GPL-3.0-only
 
 #include <board/usbpd.h>
+#include <common/macro.h>
 
 void usbpd_init(void) {}
 
@@ -11,5 +12,8 @@ void usbpd_disable_charging(void) {}
 void usbpd_enable_charging(void) {}
 
 bool usbc_mux_info(uint8_t port, uint16_t *info) {
+    MAYBE_UNUSED(port);
+    MAYBE_UNUSED(info);
+
     return false;
 }

src/board/system76/common/usbpd/tps65987.c

@@ -3,10 +3,10 @@
 // USB-PD driver for TPS65987 and the mostly compatible TPS65993 and TPS65994.
 // I2C register reference: https://www.ti.com/lit/ug/slvubh2b/slvubh2b.pdf
 
+#include <board/usbpd.h>
 #include <board/battery.h>
 #include <board/gpio.h>
 #include <board/power.h>
-#include <board/usbpd.h>
 #include <common/command.h>
 #include <common/debug.h>
 #include <ec/i2c.h>