[POWERPC] Add __ucmpdi2 for 64-bit comparisons in 32-bit kernels