dashboard: include esp_system.h for sep_restart()

Author: jgriffiths

main/process/dashboard.c

@@ -29,6 +29,7 @@
 #include "usbhmsc/usbmode.h"
 #endif
 #include <esp_app_desc.h>
+#include <esp_system.h>
 
 // A genuine production v2 Jade may be awaiting mandatory attestation data
 #if defined(CONFIG_BOARD_TYPE_JADE_V2) && defined(CONFIG_SECURE_BOOT)                                                  \