armv5: add missing cp15_invalidate_i_and_d_caches_fast()
armv5: add missing cp15_invalidate_i_and_d_caches_fast()

We just add a dummy cp15_invalidate_i_and_d_caches_fast() which calls
cp15_invalidate_i_and_d_caches().

Signed-off-by: Simon Gerber <13ba2e9de9ead0ea0b5f47504fb3a80bb9b1ee3b@inf.ethz.ch>

BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,8l/barrelfish,kishoredbn/barrelfish