get test_mmu_dcache.py working again