I'd run two USB sound cards, one for each feed, and leave the internal card free to run the computer stuff. The USB sound cards I use cost me $1 each on eBay. But to answer your question, there is nothing "special" that needs to be done.
PRO-95 | PRO-10
| PRO-92 | PSR-300 | PSR-310