x86_64: move ACPI driver to kext

arch/x86_64/irq.c

@@ -1,6 +1,5 @@
 #include <arch/irq.h>
 #include <arch/ports.h>
-#include <arch/acpi.h>
 #include <socks/sched.h>
 #include <socks/cpu.h>
 #include <socks/panic.h>
@@ -9,6 +8,10 @@
 #include <socks/machine/cpu.h>
 #include <stddef.h>
 
+#ifdef KEXT_NET_DOORSTUCK_SOCKS_ACPI
+#include <arch/acpi.h>
+#endif
+
 #define MAX_ISR_HANDLERS 16
 
 extern void syscall_gate();
@@ -136,6 +139,17 @@ void isr_dispatch(struct cpu_context *regs)
 	}
 }
 
+#ifndef KEXT_NET_DOORSTUCK_SOCKS_ACPI
+void irq_ack(unsigned int vec)
+{
+	if (vec >= 40) {
+		outportb(0xA0, 0x20);
+	}
+
+	outportb(0x20, 0x20);
+}
+#endif
+
 void irq_dispatch(struct cpu_context *regs)
 {
 	end_charge_period();