Idle EC in main loop

src/board/system76/darp5/main.c

@@ -1,3 +1,4 @@
+#include <8051.h>
 #include <stdbool.h>
 #include <stdint.h>
 #include <stdio.h>
@@ -151,5 +152,7 @@ void main(void) {
         }
         // Handles ACPI communication
         pmc_event(&PMC_1);
+        // Idle until next timer interrupt
+        PCON |= 1;
     }
 }

src/board/system76/darp5/power.c

@@ -1,5 +1,3 @@
-#include <mcs51/8051.h>
-
 #include <arch/delay.h>
 #include <arch/time.h>
 #include <board/battery.h>

src/board/system76/galp3-c/main.c

@@ -1,3 +1,4 @@
+#include <8051.h>
 #include <stdbool.h>
 #include <stdint.h>
 #include <stdio.h>
@@ -153,5 +154,7 @@ void main(void) {
         }
         // Handles ACPI communication
         pmc_event(&PMC_1);
+        // Idle until next timer interrupt
+        PCON |= 1;
     }
 }

src/board/system76/galp3-c/power.c

@@ -1,5 +1,3 @@
-#include <mcs51/8051.h>
-
 #include <arch/delay.h>
 #include <arch/time.h>
 #include <board/battery.h>

src/board/system76/lemp9/main.c

@@ -1,3 +1,4 @@
+#include <8051.h>
 #include <stdbool.h>
 #include <stdint.h>
 #include <stdio.h>
@@ -153,5 +154,7 @@ void main(void) {
         }
         // Handles ACPI communication
         pmc_event(&PMC_1);
+        // Idle until next timer interrupt
+        PCON |= 1;
     }
 }

src/board/system76/lemp9/power.c

@@ -1,5 +1,3 @@
-#include <mcs51/8051.h>
-
 #include <arch/delay.h>
 #include <arch/time.h>
 #include <board/battery.h>