Otherwise, it's possible to end up with the prefetcher pulling
data into cache that the code believes has been flushed.
Signed-off-by: NChris Metcalf <cmetcalf@tilera.com>