Hallo,
also ich hab mal ein bisl Google befragt. Ich glaub es kommt nur die USB Variante für Dich, mich in Frage, da es zwar Adapter gibt von HDMI zu Toslink (optisch), aber die relativ teuer sind mit ab 160 Euro.
Eine Expresscard-Audio-Karte habe ich noch nicht gefunden mit Digital-Ausgang...