Once installed, Debian does not boot anymore this kernel. Thus likely it booted since the installer image does not enable acpi.
Once installed, Debian does not boot anymore this kernel. Thus likely it booted since the installer image does not enable acpi.