US federal debt can't just be "repaid", it's basically all in non-callable bonds. It can be paid on one schedule, and diverting funds to it won't get it paid any faster.