I have fixed the bug. See the commit message for details. It was a
minor snafu in the pcb wildcard insertion code for the SMP case that
resulted in the INP_WILDCARD flag not being set. The pcb detach code
only checks INP_WILDCARD, so it must be set in addition to
INP_WILDCARD_MP for the SMP case.
-Matt