... in case we are using ACPI.

Signed-off-by: Gerd Hoffmann <kra...@redhat.com>
---
 hw/i386/microvm.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hw/i386/microvm.c b/hw/i386/microvm.c
index 362d513f38e1..fd753764fc10 100644
--- a/hw/i386/microvm.c
+++ b/hw/i386/microvm.c
@@ -361,7 +361,7 @@ static void microvm_machine_reset(MachineState *machine)
     CPUState *cs;
     X86CPU *cpu;
 
-    if (machine->kernel_filename != NULL &&
+    if (!acpi_enabled && machine->kernel_filename != NULL &&
         mms->auto_kernel_cmdline && !mms->kernel_cmdline_fixed) {
         microvm_fix_kernel_cmdline(machine);
         mms->kernel_cmdline_fixed = true;
-- 
2.18.2


Reply via email to