use PPC mkVirtualReg for PPC64