armv5: add missing cp15_invalidate_i_and_d_caches_fast()
[barrelfish] / LICENSE
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.