microvm/acpi: use seabios with acpi=on