ppc/pnv: use a do-while() loop in pnv_phb3_translate_tve()