more fixes

dev/acpi/init.c

@@ -1,10 +1,22 @@
 #include <zinnia/acpi.h>
+#include <zinnia/cmdline.h>
 #include <zinnia/print.h>
 #include <zinnia/types.h>
 
 phys_t acpi_rsdp_addr = 0;
 
+static bool use_acpi = true;
+void use_acpi_option(bool use) {
+    use_acpi = use;
+}
+CMDLINE_OPTION("acpi", "Enable ACPI firmware subsystem", use_acpi_option);
+
 void acpi_init(struct boot_info* info) {
+    if (!use_acpi) {
+        log("acpi: ACPI disabled on the command line!\n");
+        return;
+    }
+
     if (!info->rsdp) {
         log("acpi: No RSDP was passed, unable to start ACPI subsystem!\n");
         return;