gdb's proc command doesn't work anymore

[Richard Nyberg <rnyberg@xxxxxxxx>]

(kgdb) proc 2205
invalid proc address

2205 is a valid pid. This used to work until recently.

	-Richard