config: set ARCH if powerpc64 is selected in the configuration