> I do wonder, where are PowerPC and IBM System z being used these days?

IBM.

And they own redhat, so I imagine they put a lot of time and money into making the kernel work.

Why Debian in particular, not sure.