b38e49ae Sat Jan 12 17:05:00 GMT 2019 kettenis <kettenis@openbsd.org> Use acpidump -q to avoid message about ACPI information not being found. Many arm64 systems use device trees instead of ACPI and acpidump is expectected to fail on those systems. And vmm(4) doesn't provide ACPI information either.