[PowerPC] use UINT64_C instead of ul