[PATCH] ppc32: Fix some minor issues related to FSL Book-E KGDB support