target: Clean up how the dump_mmu() print