== PATCHED ppbconf.c (fix.diff applied in guest /usr/src), fresh-boot run (fixrun2) ==
PPBX2: DF-5512 ppbus_setup_intr re-registration test
PPBX2: DF-5512 setup#1 err=0 ck1=0x1000 ivars.cookie=0x1000
PPBX2: DF-5512 setup#2 err=16 ck2=0 ivars.cookie=0x1000 (lpt.c write-error-path re-register)
PPBX2: DF-5512 after ppb_release_bus: parent setups=1 teardowns=1 still-live=0; ppbus ivars cookie=0 resource=0
PPBX2: DF-5512 not-reproduced: live==0 handlers remain registered while ppbus bookkeeping says none (cookie NULL)

== second patched run (fixrun1) gave identical results ==