ARM922T's icache isn't coherent with its dcache, so we need to ensure that its flushe...