Fix the vaddr translation logic

*NEEDS REVIEW*

The sucess percentage in t.format tests jumped to a modest 137 to a whooping 142