diff --git a/kernel/kernel/kernel.cpp b/kernel/kernel/kernel.cpp
index 21184da4..6563e645 100644
--- a/kernel/kernel/kernel.cpp
+++ b/kernel/kernel/kernel.cpp
@@ -228,11 +228,13 @@ static void init2(void*)
 		dprintln("USBManager initialized");
 	}
 
-	if (!cmdline.disable_acpi && ACPI::ACPI::get().enter_acpi_mode(InterruptController::get().is_using_apic()).is_error())
-		dprintln("Failed to enter ACPI mode");
-
-	if (auto ret = ACPI::ACPI::get().initialize_acpi_devices(); ret.is_error())
-		dwarnln("Could not initialize ACPI devices: {}", ret.error());
+	if (!cmdline.disable_acpi)
+	{
+		if (auto ret = ACPI::ACPI::get().enter_acpi_mode(InterruptController::get().is_using_apic()); ret.is_error())
+			dprintln("Failed to enter ACPI mode: {}", ret.error());
+		if (auto ret = ACPI::ACPI::get().initialize_acpi_devices(); ret.is_error())
+			dwarnln("Could not initialize ACPI devices: {}", ret.error());
+	}
 
 	DevFileSystem::get().initialize_device_updater();