Mark ppc64le as supported and run CI for it

Now that the repositories are built and published, we can mark it as supported and also start running CI on the ppc64le runner.