[PATCH] powerpc: Fix building of power3 config on ppc32