DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026  root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
kernel config: X86_64_GENERIC (device acpi -> acpi_lid compiled in, no acpi.ko)
modules: ehci.ko, xhci.ko only (baseline); ppbus.ko load-tested read-only during this batch and unloaded cleanly
acpi_lid driver registered (kldstat -v: "acpi/acpi_lid", id 274); NO acpi_lid device instance (dmesg empty)
QEMU DSDT contains 0 PNP0C0D entries (acpidump -d | grep -c) -- firmware declares no lid
hw.acpi.lid_switch_state sysctl owned by acpi.c:630, not by acpi_lid.c (this driver creates no sysctl)
kldunload acpi -> "can't find file acpi" (builtin); guest left up and clean