Fix linux-user build on ppc