powerpc/32: Define an is_kernel_addr() to fix ARCH=ppc compilation