Why not use a RME pci interface like this one: https://www.rme-audio.de/hdspe-aes.html
Model is hdspe and costs around $1000.
or even better, the apollo x16, but that is $3500, but might still be worth it since you are spending so much money on the Genelecs anyway...