[x86,microvm] Update microvm documentation with ACPI option