Hello, I'm new to Linux PowerPC platform, and I'm wondering what ARCH we should use to build the kernel. There seems to be 'ppc' and 'powerpc'. What's the difference between the two ? Thank you ! Benjamin