Use __u32 for elf_addr_t in <asm-powerpc/elf.h>, not u32. It's user-visible.