[PATCH] ppc32: remove orphaned ppc4xx_kgdb.c