d5911afb79
to what the 32-bit arm code does, with the exception that it always assumes the tag is non-coherent. Tested by: jmcneill Obtained from: ABT Systems Ltd MFC after: 1 week Sponsored by: The FreeBSD Foundation