arm64: fix some casts