c0996cb32c
superfluous by Tsutsui-san's previous changes. (this change differs slightly from that posted to port-mips@, as mips_flushcache_allpvh should be compiled iff MIPS3_PLUS is defined and MIPS3_L2CACHE_ABSENT should be removed from files.mips as well)