Teach kdump a handy new trick: -p $pid selects the records of