linux_ppc32 support