PRECONDITION: AMD display device present ............. ABSENT (cannot test)
PRECONDITION: amdgpu attach path reachable .......... UNREACHABLE
=> not_reproduced on this guest: no AMD PCI device; amdgpu never probes.
   (see VERDICT.md for the code trace proving the double-free)