PPC: fix PPC32 build