* ppc-linux-tdep.c: More "Linux" -> "GNU/Linux".