Save and restore PMU settings and counters

Change-Id: I54a1927fef998bc97f5507f2de9faf7d4a7960f5
diff --git a/include/ethosu_device.h b/include/ethosu_device.h
index 9c78bfc..e08aa3d 100644
--- a/include/ethosu_device.h
+++ b/include/ethosu_device.h
@@ -55,8 +55,11 @@
 struct ethosu_device
 {
     uintptr_t base_address;
-    bool restore_pmu_config;
+    uint32_t pmcr;
     uint64_t pmccntr;
+    uint32_t pmcnten;
+    uint32_t pmint;
+    uint32_t pmccntr_cfg;
     uint32_t pmu_evcntr[ETHOSU_PMU_NCOUNTERS];
     enum ethosu_pmu_event_type pmu_evtypr[ETHOSU_PMU_NCOUNTERS];
 };