This is exactly what I'm looking for. Would you mind sharing what specific 40G card(s) you're using?
They're PCIe 3.0 x8 cards so they can't max out both ports, but realistically no one who's considering cheap high speed NICs cares about maxing out more than one port.