Re: Kernel failing to build on 32-bit powerpc