Chet,
If I can attempt the answer, even though I don't recall both the turn and river being put on the board before the mistake was noticed. If that is the decision that is made, (reshuffle the turn and river), I would leave the burn cards on the table because they were both the proper burns. I always tell the dealers not to do anything until the betting round is complete. The player might not call the bet, and the hand would be over, no re-shuffle necessary. The fact that there is no more betting, because one player went all-in, makes this the right call. I don't recall ever reading a procedure rule for this scenario.