arm64: Simplify pmap_ts_referenced
Use pmap_pte_exists() in place of multiple KASSERT()s.
Eliminate an unnecessary NULL check.
MFC after: 1 week