HomeFreeBSD

Remove arm64_idcache_wbinv_range as it's unused.