target/ppc/mmu-radix64: Use correct string format in walk_tree()