I think the 1040x asks for the return as originally filed, then changes, then corrected return... Therefore I would use the original return you filed and don't worry about the premium tax credit repayment, let the IRS take care of that... But this is just my opinion since there has been a lot of new crap this year...