[PATCH] powerpc: Add a is_kernel_addr() macro