Hi,
one addition. I've noticed that architecture options are probably wrong for the pseries machine. By default it selects ppc64le where I believe ppc64 is the right one. I've tested both options here so the bug is not related to wrong default value of architecture options. Just to let you know. Thanks!