diff --git a/include/acpi/reboot.h b/include/acpi/reboot.h
new file mode 100644
index 0000000000000000000000000000000000000000..8857f57e0b7804d0e931c8d05876913b09b052a0
--- /dev/null
+++ b/include/acpi/reboot.h
@@ -0,0 +1,9 @@
+
+/*
+ * Dummy placeholder to make the EFI patches apply to the x86 tree.
+ * Andrew/Len, please just kill this file if you encounter it.
+ */
+#ifndef acpi_reboot
+# define acpi_reboot() do { } while (0)
+#endif
+