bit of a hack to get test_mmu_dcache_pi.py operational.