kernel: fixup KARCH for powerpc64 builds