[Power] Fix for casting void* into int