arm64: tlbi: Set MAX_TLBI_OPS to PTRS_PER_PTE