Use uintptr_t in AllocCacheAlign rather than a u32, as it needs to be a 64bit align mask on 64bit arch.