quoted

Should we prefix every line with the PID to avoid this?

=20
That's possible.  An alternative would be prefixing each line with the
process name and its PID, as in the first line.  For example:
=20
    pandafault[10758]: segfault (11) at 00000000100007d0 nip 000000001000=

061c lr 00007fffabc85100 code 2 in pandafault[10000000+10000]

    pandafault[10758]: Instruction dump:
    pandafault[10758]: 4bfffeec 4bfffee8 3c401002 38427f00 fbe1fff8 f821f=

fc1 7c3f0b78 3d22fffe

    pandafault[10758]: 392988d0 f93f0020 e93f0020 39400048 <99490000> 392=

00000 7d234b78 383f0040

=20
The above can be interleaved with other messages and we'll still be able
to match process and its corresponding instruction dump.

LGTM.

Thanks!
Mikey