ppc/pnv: Fix fatal bug on 32-bit hosts