This is needed to synchronise a read of the timer register with an
earlier memory read to signal the register needs to be read. As this
doesn't appear to be the case on FreeBSD we can remove the barrier.

Sponsored by: Arm Ltd