habanalabs: correctly cast u64 to void*