* MMU (mmu.c) is buggy, we have to drop this code from here and use R_IO_CACHE
