diff --git a/src/board/system76/darp5/main.c b/src/board/system76/darp5/main.c
index febcc56..78d2ffc 100644
--- a/src/board/system76/darp5/main.c
+++ b/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;
     }
 }
diff --git a/src/board/system76/darp5/power.c b/src/board/system76/darp5/power.c
index 11e8382..38f1e06 100644
--- a/src/board/system76/darp5/power.c
+++ b/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>
diff --git a/src/board/system76/galp3-c/main.c b/src/board/system76/galp3-c/main.c
index 423fd78..5c1ca36 100644
--- a/src/board/system76/galp3-c/main.c
+++ b/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;
     }
 }
diff --git a/src/board/system76/galp3-c/power.c b/src/board/system76/galp3-c/power.c
index 11e8382..38f1e06 100644
--- a/src/board/system76/galp3-c/power.c
+++ b/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>
diff --git a/src/board/system76/lemp9/main.c b/src/board/system76/lemp9/main.c
index 423fd78..5c1ca36 100644
--- a/src/board/system76/lemp9/main.c
+++ b/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;
     }
 }
diff --git a/src/board/system76/lemp9/power.c b/src/board/system76/lemp9/power.c
index 11e8382..38f1e06 100644
--- a/src/board/system76/lemp9/power.c
+++ b/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>